HelenOS sources

i8042_init        204 kernel/arch/amd64/src/amd64.c 	i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE, IRQ_KBD);
i8042_init        191 kernel/arch/ia32/src/ia32.c 	i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE, IRQ_KBD);
i8042_init        203 kernel/arch/ia64/src/ia64.c 	i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE,
i8042_init         54 kernel/genarch/include/genarch/drivers/i8042/i8042.h extern i8042_instance_t *i8042_init(i8042_t *, inr_t);
i8042_init         96 uspace/drv/char/i8042/i8042.h extern errno_t i8042_init(i8042_t *, addr_range_t *, int, int, ddf_dev_t *);
i8042_init        125 uspace/drv/char/i8042/main.c 	rc = i8042_init(i8042, &io_regs, kbd, mouse, device);