xen_send_IPI_mask_allbutself
.send_IPI_mask_allbutself = xen_send_IPI_mask_allbutself,
xen_send_IPI_mask_allbutself(cpu_online_mask, vector);
extern void xen_send_IPI_mask_allbutself(const struct cpumask *mask,