HelenOS sources

i8042_cpu_reset   282 kernel/arch/amd64/src/amd64.c 	i8042_cpu_reset((i8042_t *) I8042_BASE);
i8042_cpu_reset   267 kernel/arch/ia32/src/ia32.c 	i8042_cpu_reset((i8042_t *) I8042_BASE);
i8042_cpu_reset    56 kernel/genarch/include/genarch/drivers/i8042/i8042.h extern void i8042_cpu_reset(i8042_t *);