HelenOS sources

machine_ops_init   51 kernel/arch/arm32/src/machine_func.c void machine_ops_init(void)
machine_ops_init   46 kernel/arch/arm64/src/machine_func.c void machine_ops_init(void)
machine_ops_init   52 kernel/arch/mips32/src/machine_func.c void machine_ops_init(void)