Searched refs:dfly_need_user_resched_remote (Results 1 – 1 of 1) sorted by relevance
77 static void dfly_need_user_resched_remote(void *dummy);845 lwkt_send_ipiq(rgd, dfly_need_user_resched_remote, NULL); in dfly_setrunqueue_dd()1263 dfly_need_user_resched_remote, in dfly_resetpriority()2163 dfly_need_user_resched_remote(void *dummy) in dfly_need_user_resched_remote() function