HelenOS sources

PTE_PRESENT       362 kernel/genarch/src/mm/page_pt.c 	assert(PTE_PRESENT(t) == PTE_PRESENT(pte));
PTE_PRESENT        78 kernel/generic/src/ipc/ops/pagein.c 		if (found & PTE_PRESENT(&pte)) {
PTE_PRESENT      1015 kernel/generic/src/mm/as.c 				assert(PTE_PRESENT(&pte));
PTE_PRESENT      1125 kernel/generic/src/mm/as.c 			assert(PTE_PRESENT(&pte));
PTE_PRESENT      1429 kernel/generic/src/mm/as.c 			assert(PTE_PRESENT(&pte));
PTE_PRESENT      1562 kernel/generic/src/mm/as.c 	if (found && PTE_PRESENT(&pte)) {
PTE_PRESENT       140 kernel/generic/src/mm/backend_anon.c 			assert(PTE_PRESENT(&pte));
PTE_PRESENT       211 kernel/generic/src/mm/backend_elf.c 			assert(PTE_PRESENT(&pte));
PTE_PRESENT       343 kernel/generic/src/mm/backend_elf.c 			assert(PTE_PRESENT(&pte));
PTE_PRESENT       198 kernel/generic/src/mm/page.c 	if (!found || !PTE_VALID(&pte) || !PTE_PRESENT(&pte)) {