Symbol: dfly_need_user_resched_remote
sys/kern/usched_dfly.c
1263
dfly_need_user_resched_remote,
sys/kern/usched_dfly.c
77
static void dfly_need_user_resched_remote(void *dummy);
sys/kern/usched_dfly.c
845
lwkt_send_ipiq(rgd, dfly_need_user_resched_remote, NULL);