added memory conversions and copies for the guest/host contexts

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

diff --git a/palacios/include/geekos/svm.h b/palacios/include/geekos/svm.h
index 0b91f45..ddd3414 100644 (file)
--- a/palacios/include/geekos/svm.h
+++ b/palacios/include/geekos/svm.h
@@ -61,8 +61,8 @@ int is_svm_capable();
 
 
 vmcb_t * Allocate_VMCB();
-void Init_VMCB(vmcb_t * vmcb, guest_info_t vm_info);
-void Init_VMCB_pe(vmcb_t * vmcb, guest_info_t vm_info);
+void Init_VMCB(vmcb_t * vmcb, struct guest_info vm_info);
+void Init_VMCB_pe(vmcb_t * vmcb, struct guest_info vm_info);
 
 int init_svm_guest(struct guest_info *info);
 int start_svm_guest(struct guest_info * info);