hv_send_ipi_mask_allbutself
hv_send_ipi_mask_allbutself(cpu_online_mask, vector);
apic_update_callback(send_IPI_mask_allbutself, hv_send_ipi_mask_allbutself);