vmbus_synic_setup
static void vmbus_synic_setup(void *);
lwkt_cpusync_simple(smp_active_mask, vmbus_synic_setup, sc);