X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_hvm.h;h=7a1dceb7c1c626459fcdc00dd56fa84868447541;hb=aeb2b4bea5822761eebe0c9f4d2bef40324354c7;hp=423b80dd5eb73822e0c90a4dc3c4843f7ff65c37;hpb=3586c3bd6260bf79c57baebf66a26d7e8158d411;p=palacios.git

diff --git a/palacios/include/palacios/vmm_hvm.h b/palacios/include/palacios/vmm_hvm.h
index 423b80d..7a1dceb 100644
--- a/palacios/include/palacios/vmm_hvm.h
+++ b/palacios/include/palacios/vmm_hvm.h
@@ -30,10 +30,13 @@ struct v3_vm_hvm {
     uint32_t  first_hrt_core;
     uint64_t  first_hrt_gpa;
     struct v3_cfg_file *hrt_file;
+    uint64_t  hrt_entry_addr;
+    enum { HRT_BLOB, HRT_ELF64, HRT_MBOOT2, HRT_MBOOT64 } hrt_type;
 };
 
 struct v3_core_hvm {
     uint8_t   is_hrt;
+    uint64_t  last_boot_start;
 };
 
 struct v3_xml;
@@ -60,6 +63,16 @@ int      v3_is_hvm_ros_core(struct guest_info *core);
 int      v3_is_hvm_hrt_core(struct guest_info *core);
 
 
+int      v3_hvm_should_deliver_ipi(struct guest_info *src, struct guest_info *dest);
+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);
+
+int v3_handle_hvm_reset(struct guest_info *core);
+
 #endif /* ! __V3VEE__ */