HelenOS sources

PAGE_PRESENT       94 kernel/arch/abs32le/include/arch/mm/page.h 	PAGE_PRESENT
PAGE_PRESENT       96 kernel/arch/abs32le/include/arch/mm/page.h 	PAGE_PRESENT
PAGE_PRESENT      111 kernel/arch/arm32/include/arch/mm/page.h         PAGE_PRESENT
PAGE_PRESENT      113 kernel/arch/arm32/include/arch/mm/page.h         PAGE_PRESENT
PAGE_PRESENT      338 kernel/arch/arm64/include/arch/mm/page.h 	p->valid = (flags & PAGE_PRESENT) != 0;
PAGE_PRESENT      357 kernel/arch/arm64/include/arch/mm/page.h 	p->valid = (flags & PAGE_PRESENT) != 0;
PAGE_PRESENT      110 kernel/arch/ia32/include/arch/mm/page.h 	PAGE_PRESENT
PAGE_PRESENT      112 kernel/arch/ia32/include/arch/mm/page.h 	PAGE_PRESENT
PAGE_PRESENT      118 kernel/arch/mips32/include/arch/mm/page.h 	PAGE_PRESENT
PAGE_PRESENT      120 kernel/arch/mips32/include/arch/mm/page.h 	PAGE_PRESENT
PAGE_PRESENT      112 kernel/arch/ppc32/include/arch/mm/page.h 	PAGE_PRESENT
PAGE_PRESENT      115 kernel/arch/ppc32/include/arch/mm/page.h 	PAGE_PRESENT
PAGE_PRESENT      433 kernel/genarch/src/mm/page_pt.c 		    PAGE_PRESENT | PAGE_USER | PAGE_CACHEABLE |
PAGE_PRESENT     1332 kernel/generic/src/mm/as.c 	unsigned int flags = PAGE_USER | PAGE_PRESENT;
HelenOS homepage, sources at GitHub