HelenOS sources

page_arch_init    191 kernel/arch/abs32le/include/arch/mm/page.h extern void page_arch_init(void);
page_arch_init    257 kernel/arch/amd64/include/arch/mm/page.h extern void page_arch_init(void);
page_arch_init    254 kernel/arch/arm32/include/arch/mm/page_armv4.h extern void page_arch_init(void);
page_arch_init    317 kernel/arch/arm32/include/arch/mm/page_armv6.h extern void page_arch_init(void);
page_arch_init    415 kernel/arch/arm64/include/arch/mm/page.h extern void page_arch_init(void);
page_arch_init    229 kernel/arch/ia32/include/arch/mm/page.h extern void page_arch_init(void);
page_arch_init    294 kernel/arch/ia64/include/arch/mm/page.h extern void page_arch_init(void);
page_arch_init    200 kernel/arch/mips32/include/arch/mm/page.h extern void page_arch_init(void);
page_arch_init    194 kernel/arch/ppc32/include/arch/mm/page.h extern void page_arch_init(void);
page_arch_init    214 kernel/arch/riscv64/include/arch/mm/page.h extern void page_arch_init(void);
page_arch_init     73 kernel/arch/sparc64/include/arch/mm/page.h extern void page_arch_init(void);
page_arch_init     65 kernel/arch/sparc64/include/arch/mm/sun4v/page.h extern void page_arch_init(void);
page_arch_init     82 kernel/generic/src/mm/page.c 	page_arch_init();