Searched refs:IIR_PENDING (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/ | ||
H A D | serial.c | 63 #define IIR_PENDING BIT(0) macro 329 while (!((iir = read_iir()) & IIR_PENDING)) { |
Completed in 24 milliseconds