KBS_DIB
if ((kbd_cmd_read_1() & KBS_DIB) == 0)
if ((kbd_cmd_read_1() & KBS_DIB) != 0) {
if ((c & KBS_DIB) == KBS_DIB) {
if (kbd_cmd_read_1() & KBS_DIB) {
if ((kbd_cmd_read_1() & KBS_DIB) != 0) {
if ((kbd_cmd_read_1() & KBS_DIB) == 0)
} while (kbd_cmd_read_1() & KBS_DIB);
while ((kbd_cmd_read_1() & KBS_DIB) == 0);
((type == I8042_ANY_DATA) && (status & KBS_DIB)))
#define I8042_AUX_DATA KBS_TERR|KBS_DIB /* Wait for input from mouse */
#define I8042_KBD_DATA KBS_DIB /* Wait for input from keyboard*/
if (stat & KBS_DIB) {
if (!(stat & KBS_DIB))
if (!(stat & KBS_DIB))
while (bus_space_read_1(t->t_iot, t->t_ioh_c, 0) & KBS_DIB) {