i8042_interrupt   170 drivers/input/serio/i8042.c static irqreturn_t i8042_interrupt(int irq, void *dev_id);
i8042_interrupt   423 drivers/input/serio/i8042.c 	i8042_interrupt(0, NULL);
i8042_interrupt  1211 drivers/input/serio/i8042.c 	i8042_interrupt(0, NULL);
i8042_interrupt  1242 drivers/input/serio/i8042.c 		i8042_interrupt(0, NULL);
i8042_interrupt  1279 drivers/input/serio/i8042.c 	i8042_interrupt(0, NULL);
i8042_interrupt  1462 drivers/input/serio/i8042.c 	error = request_irq(I8042_AUX_IRQ, i8042_interrupt, IRQF_SHARED,
i8042_interrupt  1488 drivers/input/serio/i8042.c 	error = request_irq(I8042_KBD_IRQ, i8042_interrupt, IRQF_SHARED,