Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


HVM updates to support apic partitioning
[palacios.git] / palacios / include / palacios / vmm_hvm.h
index 423b80d..3fd0091 100644 (file)
@@ -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__ */