Symbol: lwkt_setcpu_remote
sys/kern/lwkt_thread.c
105
static void lwkt_setcpu_remote(void *arg);
sys/kern/lwkt_thread.c
868
lwkt_send_ipiq(rgd, lwkt_setcpu_remote, otd);