Searched refs:monitor_readchar (Results 1 – 3 of 3) sorted by relevance
255 extern int monitor_readchar (void);
585 int c = monitor_readchar (); in debug_readchar()
412 monitor_readchar (void) in monitor_readchar() function