HelenOS sources

i8042_irq_handler  116 kernel/genarch/src/drivers/i8042/i8042.c 		instance->irq.handler = i8042_irq_handler;
i8042_irq_handler  291 uspace/drv/char/i8042/i8042.c 	    i8042_irq_handler, (void *)dev, &irq_code, &kbd_ihandle);
i8042_irq_handler  300 uspace/drv/char/i8042/i8042.c 	    i8042_irq_handler, (void *)dev, &irq_code, &mouse_ihandle);