PMAP_MODE_SV48
va_bits = sc->pm_mode == PMAP_MODE_SV48 ? 48 : 39;
sc->pm_mode = PMAP_MODE_SV48;
case PMAP_MODE_SV48:
case PMAP_MODE_SV48:
case PMAP_MODE_SV48:
if (pmap_mode == PMAP_MODE_SV48) {
if (pmap_mode == PMAP_MODE_SV48) {
if (pmap_mode == PMAP_MODE_SV48) {
if (pmap_mode == PMAP_MODE_SV48) {
if (mode == PMAP_MODE_SV48 && (mmu_caps & MMU_SV48) != 0) {
pmap_mode = PMAP_MODE_SV48;
if (pmap_mode == PMAP_MODE_SV48) {