PS2_STATUS_OUTPUT_BUFFER_FULL
if (!(ctrl & PS2_STATUS_OUTPUT_BUFFER_FULL))
if (!(ctrl & PS2_STATUS_OUTPUT_BUFFER_FULL)) {
if (ps2_read_ctrl() & PS2_STATUS_OUTPUT_BUFFER_FULL)
if ((status & PS2_STATUS_OUTPUT_BUFFER_FULL) == 0) {