got the bios setup ok, now we have to handle the exits

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

diff --git a/palacios/include/palacios/svm.h b/palacios/include/palacios/svm.h
index fb96a85..9c0912b 100644 (file)
--- a/palacios/include/palacios/svm.h
+++ b/palacios/include/palacios/svm.h
@@ -62,6 +62,7 @@ int is_svm_capable();
 
 vmcb_t * Allocate_VMCB();
 void Init_VMCB(vmcb_t * vmcb, struct guest_info vm_info);
+void Init_VMCB_BIOS(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);