Searched refs:htif_console_getchar (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/tools/riscv-pk/machine/ | ||
H A D | htif.h | 23 int htif_console_getchar(); |
H A D | htif.c | 50 int htif_console_getchar() function |
H A D | mtrap.c | 78 return htif_console_getchar(); |
Completed in 80 milliseconds