void xen_send_IPI_allbutself(int vector) { int xen_vector = xen_map_vector(vector); if (xen_vector >= 0) xen_send_IPI_mask_allbutself(cpu_online_mask, xen_vector); }
void xen_send_IPI_allbutself(int vector) { xen_send_IPI_mask_allbutself(cpu_online_mask, vector); }