HelenOS sources

PTE_VALID         202 kernel/genarch/src/mm/page_pt.c 		if (PTE_VALID(&ptl3[i])) {
PTE_VALID         238 kernel/genarch/src/mm/page_pt.c 		if (PTE_VALID(&ptl2[i])) {
PTE_VALID         273 kernel/genarch/src/mm/page_pt.c 		if (PTE_VALID(&ptl1[i])) {
PTE_VALID         361 kernel/genarch/src/mm/page_pt.c 	assert(PTE_VALID(t) == PTE_VALID(pte));
PTE_VALID        1014 kernel/generic/src/mm/as.c 				assert(PTE_VALID(&pte));
PTE_VALID        1124 kernel/generic/src/mm/as.c 			assert(PTE_VALID(&pte));
PTE_VALID        1428 kernel/generic/src/mm/as.c 			assert(PTE_VALID(&pte));
PTE_VALID         139 kernel/generic/src/mm/backend_anon.c 			assert(PTE_VALID(&pte));
PTE_VALID         210 kernel/generic/src/mm/backend_elf.c 			assert(PTE_VALID(&pte));
PTE_VALID         198 kernel/generic/src/mm/page.c 	if (!found || !PTE_VALID(&pte) || !PTE_PRESENT(&pte)) {