X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fsvm.h;h=9c0912bc52a4497e4d9de9b47dbb52d820f1ffae;hb=df58bd3c484a52b1e166dc28e7b9b6fd94e5a023;hp=fb96a85e8f3101bdaf7d497116e714d1a843914f;hpb=a109eb919a162bd7de58d62020801bc2e633be50;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);