i8042_cpu_reset 282 kernel/arch/amd64/src/amd64.c i8042_cpu_reset((i8042_t *) I8042_BASE); i8042_cpu_reset 269 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 *);HelenOS homepage, sources at GitHub