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