Home
last modified time | relevance | path

Searched full:sv39 (Results 1 – 8 of 8) sorted by relevance

/Linux-v5.15/arch/riscv/boot/dts/microchip/
Dmicrochip-mpfs.dtsi51 mmu-type = "riscv,sv39";
78 mmu-type = "riscv,sv39";
105 mmu-type = "riscv,sv39";
132 mmu-type = "riscv,sv39";
/Linux-v5.15/arch/riscv/boot/dts/sifive/
Dfu540-c000.dtsi53 mmu-type = "riscv,sv39";
77 mmu-type = "riscv,sv39";
101 mmu-type = "riscv,sv39";
125 mmu-type = "riscv,sv39";
Dfu740-c000.dtsi54 mmu-type = "riscv,sv39";
78 mmu-type = "riscv,sv39";
102 mmu-type = "riscv,sv39";
126 mmu-type = "riscv,sv39";
/Linux-v5.15/Documentation/devicetree/bindings/riscv/
Dcpus.yaml58 - riscv,sv39
140 mmu-type = "riscv,sv39";
/Linux-v5.15/Documentation/riscv/
Dvm-layout.rst30 RISC-V Linux Kernel SV39
/Linux-v5.15/arch/riscv/kernel/
Dcpu.c79 if (strcmp(mmu_type, "riscv,sv39") != 0 && in print_mmu()
/Linux-v5.15/arch/riscv/
DKconfig128 default 24 if 64BIT # SV39 based
/Linux-v5.15/arch/riscv/boot/dts/canaan/
Dk210.dtsi27 * The K210 has an sv39 MMU following the privileged specification v1.9.