HelenOS sources

i8042_wire        210 kernel/arch/amd64/src/amd64.c 			i8042_wire(i8042_instance, kbrd);
i8042_wire        197 kernel/arch/ia32/src/ia32.c 			i8042_wire(i8042_instance, kbrd);
i8042_wire        210 kernel/arch/ia64/src/ia64.c 			i8042_wire(i8042_instance, kbrd);
i8042_wire         55 kernel/genarch/include/genarch/drivers/i8042/i8042.h extern void i8042_wire(i8042_instance_t *, indev_t *);