PNUM_TO_IDX
idx = PNUM_TO_IDX(m, r, pfnum);
ASSERT(PNUM_TO_IDX(mnode, r,
(PNUM_TO_IDX(mnode, r, newbase))) == newbase);
idx = PNUM_TO_IDX(mnode, new_szc, pfn);
idx0 = PNUM_TO_IDX(mnode, r, pfnum);
idx = PNUM_TO_IDX(mnode, r, pfnum);
idx = PNUM_TO_IDX(mnode, r, pfnum);
idx = PNUM_TO_IDX(mnode, r, pp->p_pagenum);
idx = PNUM_TO_IDX(mnode, r, pp->p_pagenum);
idx = PNUM_TO_IDX(mnode, r, pfnum);
ASSERT(PNUM_TO_IDX(mnode, r,
(PNUM_TO_IDX(mnode, r, r_base))) == r_base);
idx = PNUM_TO_IDX(mnode, r, pfnum);
idx = PNUM_TO_IDX(mnode, r, pfnum);