HelenOS sources

I8042_BASE        204 kernel/arch/amd64/src/amd64.c 	i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE, IRQ_KBD);
I8042_BASE        282 kernel/arch/amd64/src/amd64.c 	i8042_cpu_reset((i8042_t *) I8042_BASE);
I8042_BASE        191 kernel/arch/ia32/src/ia32.c 	i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE, IRQ_KBD);
I8042_BASE        269 kernel/arch/ia32/src/ia32.c 	i8042_cpu_reset((i8042_t *) I8042_BASE);
I8042_BASE        203 kernel/arch/ia64/src/ia64.c 	i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE,