sr_t
sr_t pm_sr[16]; /* segments used in this pmap */
ptesr(sr_t *sr, vaddr_t va)
pteidx(sr_t sr, vaddr_t va)
sr_t sr;
sr_t user_sr;