segkp_release
segkp_release(segkp, swap);
segkp_release(segkp, kaddr);
segkp_release(segkp, cp->cvaddr);
void segkp_release(struct seg *seg, caddr_t vaddr);
segkp_release(segkp,
segkp_release(segkp, cp->cpu_intr_stack);