Searched refs:htif_console_buf (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/tools/riscv-pk/machine/
H A Dhtif.c13 volatile int htif_console_buf; variable
34 htif_console_buf = 1 + (uint8_t)FROMHOST_DATA(fh);
59 int ch = htif_console_buf;
61 htif_console_buf = -1;

Completed in 73 milliseconds