HelenOS sources

machine_input_init  125 kernel/arch/arm32/src/machine_func.c void machine_input_init(void)
machine_input_init   80 kernel/arch/arm64/src/machine_func.c void machine_input_init(void)
machine_input_init  103 kernel/arch/mips32/src/machine_func.c void machine_input_init(void)