Welcome to the FoxOS website!
void keyboard_input_device::getstring(char* buf) char* bufvoid
      char keyboard_input_device::getchar() char
      char input::keymap(char* keymap_id, uint8_t key, special_keys_down_t* special_keys_down) char* keymap_iduint8_t keyspecial_keys_down_t* special_keys_downchar
      void input::handle_special_keys_up(input::special_keys_down_t* keys) input::special_keys_down_t* keysvoid
      void input::handle_special_keys_down(input::special_keys_down_t* keys) input::special_keys_down_t* keysvoid