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