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)) {
HelenOS homepage, sources at GitHub