Searched full:sv48 (Results 1 – 7 of 7) sorted by relevance
785 mmu-type = "riscv,sv48";801 mmu-type = "riscv,sv48";817 mmu-type = "riscv,sv48";833 mmu-type = "riscv,sv48";
71 RISC-V Linux Kernel SV48
219 else if (!strcmp(mmu_type, "riscv,sv48")) in set_satp_mode_from_fdt()
67 RISC-V Linux Kernel SV48
298 sv_type = "sv48"; in print_mmu()
200 * The RISC-V Sv48 MMU mode supports 56-bit physical address in riscv_vcpu_mmu_setup()
828 * meaning sv48 is supported.