X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fsvm.h;h=9c0912bc52a4497e4d9de9b47dbb52d820f1ffae;hb=1cf6b8a334fd683681665c177d33ad6c452ad366;hp=fb96a85e8f3101bdaf7d497116e714d1a843914f;hpb=705cb2fd95fa4e9ebe978fc05b29843c44b3ea54;p=palacios.git

diff --git a/palacios/include/palacios/svm.h b/palacios/include/palacios/svm.h
index fb96a85..9c0912b 100644
--- 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);