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

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/
H A Dserial.c78 static void write_ier(uint8_t val);
158 static inline void write_ier(uint8_t val) function
247 write_ier(0);
286 write_ier(1);

Completed in 21 milliseconds