dbg_io_get_char    58 kernel/debug/debug_core.h extern int dbg_io_get_char(void);
dbg_io_get_char    23 kernel/debug/kdb/kdb_debugger.c 	dbg_io_get_char,