Symbol: lwkt_cpusync_remote1
sys/kern/lwkt_ipiq.c
118
static void lwkt_cpusync_remote1(lwkt_cpusync_t cs);
sys/kern/lwkt_ipiq.c
864
lwkt_send_ipiq_mask(mask, (ipifunc1_t)lwkt_cpusync_remote1, cs);