machine_frame_init 109 kernel/arch/arm32/src/machine_func.c void machine_frame_init(void) machine_frame_init 87 kernel/arch/mips32/src/machine_func.c void machine_frame_init(void)