disable_bit       395 drivers/input/serio/i8042.c 	int disable_bit;
disable_bit       400 drivers/input/serio/i8042.c 		disable_bit = I8042_CTR_AUXDIS;
disable_bit       404 drivers/input/serio/i8042.c 		disable_bit = I8042_CTR_KBDDIS;
disable_bit       414 drivers/input/serio/i8042.c 	i8042_ctr &= ~disable_bit;