Searched refs:dbg_io_get_char (Results 1 – 3 of 3) sorted by relevance
/kernel/debug/ | ||
D | debug_core.h | 58 extern int dbg_io_get_char(void); |
D | debug_core.c | 1141 int dbg_io_get_char(void) in dbg_io_get_char() function |
/kernel/debug/kdb/ | ||
D | kdb_debugger.c | 23 dbg_io_get_char, |