lwkt_send_ipiq3_bycpu
int lwkt_send_ipiq3_bycpu(int, ipifunc3_t, void *, int);
return(lwkt_send_ipiq3_bycpu(dcpu, (ipifunc3_t)func, arg, 0));
return(lwkt_send_ipiq3_bycpu(dcpu, (ipifunc3_t)func, arg1, arg2));