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