Symbol: i8042_free_irqs
drivers/input/serio/i8042.c
1576
i8042_free_irqs();
drivers/input/serio/i8042.c
1585
i8042_free_irqs();