#ifndef PS2_KBD_H #define PS2_KBD_H void keyboard_init(); #endif