SATP_PPN
__SHIFTIN(pmap->pm_md.md_ppn, SATP_PPN);
const paddr_t satp_pa = __SHIFTOUT(satp, SATP_PPN) << PGSHIFT;