I8042_STAT_AUXBF
which_port = (stat & I8042_STAT_AUXBF) ? AUX_PORT : MAIN_PORT;
if ((stat & I8042_STAT_AUXBF) == 0)
if ((stat & I8042_STAT_AUXBF) != 0)
if ((stat & I8042_STAT_AUXBF) == 0)
if ((stat & I8042_STAT_AUXBF) != 0)
buffer_stat &= (I8042_STAT_OUTBF | I8042_STAT_AUXBF);
case I8042_STAT_AUXBF:
case (I8042_STAT_OUTBF | I8042_STAT_AUXBF):