kernel/arch/riscv64/vm/mmu/
mod.rs

1// #[cfg(target_feature = "riscv_sv48")]
2pub mod sv48;
3// #[cfg(target_feature = "riscv_sv48")]
4pub use sv48::*;