Symbol: MapAddrRange
src/system/boot/platform/efi/arch/riscv64/arch_mmu.cpp
225
MapAddrRange(addr_range& range, uint64 flags)
src/system/boot/platform/riscv/mmu.cpp
206
MapAddrRange(addr_range& range, uint64 flags)