Searched defs:enter_machine_mode (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/tools/riscv-pk/machine/ | ||
| H A D | minit.c | 230 void enter_machine_mode(void (*fn)(uintptr_t, uintptr_t), uintptr_t arg0, uintptr_t arg1) function |
Completed in 24 milliseconds