HelenOS sources

i8042_irq_handler  116 kernel/genarch/src/drivers/i8042/i8042.c 		instance->irq.handler = i8042_irq_handler;
i8042_irq_handler  290 uspace/drv/char/i8042/i8042.c 	    i8042_irq_handler, &irq_code, &kbd_ihandle);
i8042_irq_handler  299 uspace/drv/char/i8042/i8042.c 	    i8042_irq_handler, &irq_code, &mouse_ihandle);