Searched refs:vmbus_timer_restart (Results 1 – 1 of 1) sorted by relevance
125 static void vmbus_timer_restart(void *);389 lwkt_send_ipiq_mask(smp_active_mask, vmbus_timer_restart, cti->priv); in vmbus_timer_intr_restart()909 vmbus_timer_restart(void *xsc) in vmbus_timer_restart() function