rootnex_addr_t
rootnex_addr_t rbase;
rbase = (rootnex_addr_t)(rp->regspec_addr & MMU_PAGEMASK);
rootnex_addr_t rbase;
rbase = (rootnex_addr_t)rp->regspec_addr &
(~(rootnex_addr_t)MMU_PAGEOFFSET);
rootnex_addr_t raddr;
rootnex_addr_t raddr;