lwkt_send_ipiq3
return lwkt_send_ipiq3(target, func, arg1, arg2);
return(lwkt_send_ipiq3(globaldata_find(dcpu), func, arg1, arg2));
lwkt_send_ipiq3(globaldata_find(cpuid), func, arg1, arg2);
lwkt_send_ipiq3(globaldata_find(cpuid), func, arg1, arg2);
lwkt_send_ipiq3(td->td_gd, lwkt_schedule_remote, td, 0);
lwkt_send_ipiq3(gscan, (ipifunc3_t)systimer_intr,
int lwkt_send_ipiq3(struct globaldata *, ipifunc3_t, void *, int);
return(lwkt_send_ipiq3(target, (ipifunc3_t)func, arg, 0));
return(lwkt_send_ipiq3(target, (ipifunc3_t)func, arg1, arg2));