HelenOS sources

frame_high_arch_init   44 kernel/arch/abs32le/include/arch/mm/frame.h extern void frame_high_arch_init(void);
frame_high_arch_init   46 kernel/arch/amd64/include/arch/mm/frame.h extern void frame_high_arch_init(void);
frame_high_arch_init   79 kernel/arch/arm32/include/arch/mm/frame.h extern void frame_high_arch_init(void);
frame_high_arch_init   49 kernel/arch/arm64/include/arch/mm/frame.h extern void frame_high_arch_init(void);
frame_high_arch_init   46 kernel/arch/ia32/include/arch/mm/frame.h extern void frame_high_arch_init(void);
frame_high_arch_init   50 kernel/arch/ia64/include/arch/mm/frame.h extern void frame_high_arch_init(void);
frame_high_arch_init   46 kernel/arch/mips32/include/arch/mm/frame.h extern void frame_high_arch_init(void);
frame_high_arch_init   61 kernel/arch/ppc32/include/arch/mm/frame.h extern void frame_high_arch_init(void);
frame_high_arch_init   53 kernel/arch/riscv64/include/arch/mm/frame.h extern void frame_high_arch_init(void);
frame_high_arch_init   55 kernel/arch/sparc64/include/arch/mm/frame.h extern void frame_high_arch_init(void);
frame_high_arch_init 1139 kernel/generic/src/mm/frame.c 	frame_high_arch_init();