bsd4_need_user_resched_remote
static void bsd4_need_user_resched_remote(void *dummy);
bsd4_need_user_resched_remote,
lwkt_send_ipiq(gd, bsd4_need_user_resched_remote, NULL);
lwkt_send_ipiq(gd, bsd4_need_user_resched_remote, NULL);