HelenOS sources

machine_output_init  117 kernel/arch/arm32/src/machine_func.c void machine_output_init(void)
machine_output_init   74 kernel/arch/arm64/src/machine_func.c void machine_output_init(void)
machine_output_init   95 kernel/arch/mips32/src/machine_func.c void machine_output_init(void)