i8042_irq_handler 68 kernel/genarch/src/drivers/i8042/i8042.c static void i8042_irq_handler(irq_t *irq) i8042_irq_handler 128 uspace/drv/char/i8042/i8042.c static void i8042_irq_handler(ipc_call_t *call, void *arg)