Searched refs:LATCH_HIGH_ADDR (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 | 29 #define LATCH_HIGH_ADDR (1) macro 150 serial_port_out8_offset(LATCH_HIGH_ADDR, val); |
Completed in 32 milliseconds