lwkt_cpusync_remote2
ip->ip_info[wi].func = (ipifunc3_t)(ipifunc1_t)lwkt_cpusync_remote2;
static void lwkt_cpusync_remote2(lwkt_cpusync_t cs);
lwkt_send_ipiq_mask(mask, (ipifunc1_t)lwkt_cpusync_remote2, cs);
lwkt_cpusync_remote2(cs);