Searched refs:machine_page_fault (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/tools/riscv-pk/machine/ | ||
| H A D | mtrap.c | 222 static void machine_page_fault(uintptr_t* regs, uintptr_t dummy, uintptr_t mepc) function 243 return machine_page_fault(regs, dummy, mepc); |
Completed in 49 milliseconds