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;
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__ */