vmbus_init_interrupts_pcpu
xc = xc_broadcast(0, vmbus_init_interrupts_pcpu,
vmbus_init_interrupts_pcpu(sc, NULL);
static void vmbus_init_interrupts_pcpu(void *, void *);