7 int get_mouse_status(char *x, char *y, char *b);
8 int get_key_char(char *c, char *code, char *event_type);
9 int queue_keypress(uint8_t keycode, uint8_t event_type, uint8_t platform);
10 int get_num_kb_queued();
11 void pop_queued_key(uint8_t *c, uint8_t *t);