Symbol: page_fault_handler
sys/riscv/riscv/trap.c
353
page_fault_handler(frame, 0);
sys/riscv/riscv/trap.c
430
page_fault_handler(frame, 1);