Lines Matching refs:INTEL_PTE_VALID
502 #define PHYS_MANAGED INTEL_PTE_VALID /* page is managed */
730 if (pml4 && ((*pml4 & INTEL_PTE_VALID))) {
747 newpf | INTEL_PTE_RW | INTEL_PTE_VALID);
776 if (pdpt && ((*pdpt & INTEL_PTE_VALID))) {
792 newpf | INTEL_PTE_RW | INTEL_PTE_VALID);
834 if (pde && ((*pde & INTEL_PTE_VALID))) {
857 newpf | INTEL_PTE_RW | INTEL_PTE_VALID);
916 | INTEL_PTE_VALID;
987 | INTEL_PTE_VALID
1170 (pa & PG_FRAME) | INTEL_PTE_VALID | INTEL_PTE_RW | INTEL_PTE_REF |
1172 pmap_store_pte(pdpt, pa | INTEL_PTE_VALID);
1260 pmap_store_pte(pte, kvtophys((vm_offset_t)&lowGlo)|INTEL_PTE_VALID|INTEL_PTE_REF|INTEL_PTE_MOD|INTEL_PTE_WIRED|INTEL_PTE_RW);
1290 #define PAGE_BITS INTEL_PTE_VALID|INTEL_PTE_RW|INTEL_PTE_USER|INTEL_PTE_REF
1636 template = cpu_64bit ? INTEL_PTE_VALID|INTEL_PTE_RW|INTEL_PTE_USER|INTEL_PTE_REF : INTEL_PTE_VALID;
1979 pmap_update_pte(cpte, *cpte, (*cpte & ~INTEL_PTE_VALID));
2223 if (pde && (*pde & INTEL_PTE_VALID)) {
2340 pmap_update_pte(pte, *pte, (*pte & ~INTEL_PTE_VALID));
2494 if (pde && (*pde & INTEL_PTE_VALID)) {
2501 if (*spte & INTEL_PTE_VALID) {
2667 template = pa_to_pte(pa) | INTEL_PTE_VALID;
2727 pmap_update_pte(pte, *pte, (*pte & ~INTEL_PTE_VALID));
2928 template = pa_to_pte(pa) | INTEL_PTE_VALID;
3140 | INTEL_PTE_VALID
3230 | INTEL_PTE_VALID
3347 | INTEL_PTE_VALID
3422 if (*pdp & INTEL_PTE_VALID) {
3956 if (((tmp = *pdep) & INTEL_PTE_VALID) == 0) {
3963 if (((tmp = *ptep) & INTEL_PTE_VALID) == 0) {
4160 if ((0 == kptep) || (0 == (*kptep & INTEL_PTE_VALID)))
4325 while (0 == npde || ((*npde & INTEL_PTE_VALID) == 0)) {