tpmr_cpu_rele
static void tpmr_cpu_rele(void *, void *);
tpmr_cpu_rele(pnref, pn);
p->p_brport.ep_port_rele = tpmr_cpu_rele;
tpmr_cpu_rele(r, p);