Symbol: vmbus_timer_config
sys/dev/virtual/hyperv/vmbus/vmbus.c
121
static void vmbus_timer_config(void *);
sys/dev/virtual/hyperv/vmbus/vmbus.c
279
lwkt_cpusync_simple(smp_active_mask, vmbus_timer_config, sc);