vmbus_timer_restart - DragonflyBSD

Symbol: vmbus_timer_restart

sys/dev/virtual/hyperv/vmbus/vmbus.c

static void vmbus_timer_restart(void *);

sys/dev/virtual/hyperv/vmbus/vmbus.c

lwkt_send_ipiq_mask(smp_active_mask, vmbus_timer_restart, cti->priv);