Symbol: dbg_io_get_char
kernel/debug/debug_core.h
55
extern int dbg_io_get_char(void);
kernel/debug/kdb/kdb_debugger.c
24
dbg_io_get_char,