i8042_free_irqs  1571 drivers/input/serio/i8042.c 	i8042_free_irqs();
i8042_free_irqs  1581 drivers/input/serio/i8042.c 	i8042_free_irqs();