HelenOS sources

page_arch_init     50 kernel/arch/abs32le/src/mm/page.c void page_arch_init(void)
page_arch_init     48 kernel/arch/amd64/src/mm/page.c void page_arch_init(void)
page_arch_init     52 kernel/arch/arm32/src/mm/page.c void page_arch_init(void)
page_arch_init     42 kernel/arch/arm64/src/mm/page.c void page_arch_init(void)
page_arch_init     51 kernel/arch/ia32/src/mm/page.c void page_arch_init(void)
page_arch_init     54 kernel/arch/ia64/src/mm/page.c void page_arch_init(void)
page_arch_init     40 kernel/arch/mips32/src/mm/page.c void page_arch_init(void)
page_arch_init     41 kernel/arch/ppc32/src/mm/page.c void page_arch_init(void)
page_arch_init     50 kernel/arch/riscv64/src/mm/page.c void page_arch_init(void)
page_arch_init     47 kernel/arch/sparc64/src/mm/page.c void page_arch_init(void)