MMU_SV48
desc->mmu_caps |= MMU_SV48;
desc->mmu_caps |= MMU_SV48 | MMU_SV57;
if (mode == PMAP_MODE_SV48 && (mmu_caps & MMU_SV48) != 0) {