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