SATP_MODE_SV48
pmap->pm_satp = SATP_MODE_SV48;
return (pmap_mode == PMAP_MODE_SV39 ? SATP_MODE_SV39 : SATP_MODE_SV48);