KERN_arm32_PAGE_H_ 36 kernel/arch/arm32/include/arch/mm/page.h #ifndef KERN_arm32_PAGE_H_ KERN_arm32_PAGE_H_ 42 kernel/arch/arm32/include/arch/mm/page_armv4.h #ifndef KERN_arm32_PAGE_H_ KERN_arm32_PAGE_H_ 39 kernel/arch/arm32/include/arch/mm/page_armv6.h #ifndef KERN_arm32_PAGE_H_HelenOS homepage, sources at GitHub