cpuhelper_port
return (lwkt_domsg(cpuhelper_port(cpuid), &msg->ch_lmsg, 0));
KASSERT(&curthread->td_msgport == cpuhelper_port(cpuid),
KASSERT(&curthread->td_msgport != cpuhelper_port(cpuid),
port = cpuhelper_port(i);