kb8042_polled_getchar
static int kb8042_polled_getchar(cons_polledio_arg_t arg);
(int (*)(cons_polledio_arg_t))kb8042_polled_getchar;