sbi_console_getchar
static inline int sbi_console_getchar(void) { return -ENOENT; }
int sbi_console_getchar(void)