HelenOS sources

machine_ops_init   65 kernel/arch/arm32/include/arch/machine_func.h extern void machine_ops_init(void);
machine_ops_init   79 kernel/arch/arm32/src/arm32.c 	machine_ops_init();
machine_ops_init   55 kernel/arch/arm64/include/arch/machine_func.h extern void machine_ops_init(void);
machine_ops_init   84 kernel/arch/arm64/src/arm64.c 	machine_ops_init();
machine_ops_init   60 kernel/arch/mips32/include/arch/machine_func.h extern void machine_ops_init(void);
machine_ops_init  109 kernel/arch/mips32/src/mips32.c 	machine_ops_init();