Searched refs:mcall_console_getchar (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/tools/riscv-pk/machine/ | ||
| H A D | mtrap.c | 69 static uintptr_t mcall_console_getchar() function 144 retval = mcall_console_getchar(); |
Completed in 33 milliseconds