X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_hvm.h;h=6d145c28473717fdc38c40dddc06147c91937aad;hp=3fd0091cc2c0fb262b483219bf76ecf8f8128d00;hb=60ad6a41c6d0ee08ed689e8505eb0c3df0c2a289;hpb=d240aa16811174593dc6e6ca9c796db05948c353

diff --git a/palacios/include/palacios/vmm_hvm.h b/palacios/include/palacios/vmm_hvm.h
index 3fd0091..6d145c2 100644
--- a/palacios/include/palacios/vmm_hvm.h
+++ b/palacios/include/palacios/vmm_hvm.h
@@ -64,6 +64,10 @@ int      v3_hvm_should_deliver_ipi(struct guest_info *src, struct guest_info *de
 void     v3_hvm_find_apics_seen_by_core(struct guest_info *core, struct v3_vm_info *vm, 
 					uint32_t *start_apic, uint32_t *num_apics);
 
+
+int v3_setup_hvm_vm_for_boot(struct v3_vm_info *vm);
+int v3_setup_hvm_hrt_core_for_boot(struct guest_info *core);
+
 #endif /* ! __V3VEE__ */