tpmr_cpu_take
static void *tpmr_cpu_take(void *);
pnref = tpmr_cpu_take(pn);
p->p_brport.ep_port_take = tpmr_cpu_take;