ps2_read_ctrl
ctrl = ps2_read_ctrl();
res = ps2_read_ctrl();
ctrl = ps2_read_ctrl();
if (ps2_read_ctrl() & PS2_STATUS_OUTPUT_BUFFER_FULL)
if (!(ps2_read_ctrl() & PS2_STATUS_INPUT_BUFFER_FULL))
uint8 ps2_read_ctrl(void);