Added memory ranges

[palacios.git] / palacios / include / geekos / svm.h

diff --git a/palacios/include/geekos/svm.h b/palacios/include/geekos/svm.h
index 5ebed66..3854220 100644 (file)
--- a/palacios/include/geekos/svm.h
+++ b/palacios/include/geekos/svm.h
@@ -221,7 +221,7 @@ void Init_VMCB(vmcb_t * vmcb, guest_info_t vm_info);
 int init_svm_guest(struct guest_info *info);
 int start_svm_guest(struct guest_info * info);
 
-int handle_svm_exit();
+int handle_svm_exit(struct VMM_GPRs gprs);
 
 
 #endif