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, |