9 int get_mouse_status(uint8_t *x, uint8_t *y, uint8_t *b, uint8_t *e);
10 int get_key_char(char *c, char *code, char *event_type);
11 int queue_keypress(uint8_t keycode, uint8_t event_type, uint8_t platform);
12 int get_num_kb_queued();
13 void pop_queued_key(uint8_t *c, uint8_t *t);
14 int grab_device(int fd);
15 int release_device(int fd);