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

diff --git a/palacios/include/palacios/vmm_hvm.h b/palacios/include/palacios/vmm_hvm.h
index 423b80d..3fd0091 100644
--- a/palacios/include/palacios/vmm_hvm.h
+++ b/palacios/include/palacios/vmm_hvm.h
@@ -60,6 +60,10 @@ 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);
+
 #endif /* ! __V3VEE__ */