Symbol: causeLoadPageFault
src/system/boot/platform/efi/arch/riscv64/arch_traps.cpp
117
case causeLoadPageFault: dprintf("loadPageFault"); break;
src/system/kernel/arch/riscv64/arch_debug.cpp
362
case causeLoadPageFault: kprintf("loadPageFault"); break;
src/system/kernel/arch/riscv64/arch_int.cpp
138
case causeLoadPageFault:
src/system/kernel/arch/riscv64/arch_int.cpp
200
case causeLoadPageFault: