i8042_flush       672 drivers/input/serio/i8042.c 	i8042_flush();
i8042_flush       807 drivers/input/serio/i8042.c 	i8042_flush();
i8042_flush       904 drivers/input/serio/i8042.c 		i8042_flush();
i8042_flush       928 drivers/input/serio/i8042.c 	if (i8042_flush()) {
i8042_flush      1060 drivers/input/serio/i8042.c 	i8042_flush();
i8042_flush      1072 drivers/input/serio/i8042.c 	i8042_flush();