#pragma once #include <types/types.h> int32_t keyboard_has_data(void); void process_keyboard_data(void); void handle_keyboard_interrupt(void);