machine_init 69 kernel/arch/arm32/src/machine_func.c void machine_init(void) machine_init 58 kernel/arch/arm64/src/machine_func.c void machine_init(void) machine_init 63 kernel/arch/mips32/src/machine_func.c void machine_init(void)HelenOS homepage, sources at GitHub