Lines Matching defs:ptep
533 pt_entry_t *ptep;
540 ptep = pmap_pte(kernel_pmap, (vm_map_offset_t)ve);
544 pmap_store_pte(ptep, (pa & PG_FRAME)
551 ptep++;
1119 pt_entry_t *ptep;
1121 ptep = pmap_pte(kernel_pmap, (vm_map_offset_t)myva);
1122 if (ptep)
1123 pmap_store_pte(ptep, *ptep & ~INTEL_PTE_RW);
1144 pt_entry_t *ptep;
1150 ptep = pmap_pte(kernel_pmap, (vm_map_offset_t)myva);
1151 DBG("myva: %p pdep: %p ptep: %p\n",
1152 (void *) myva, (void *) pdep, (void *) ptep);
1153 if ((*ptep & INTEL_PTE_VALID) == 0)
1155 pte_phys = (vm_offset_t)(*ptep & PG_FRAME);
1168 * Note: ptep is a virtual address to the pte in the
2175 register pt_entry_t *ptep;
2176 for (ptep = ptp; ptep < eptp; ptep++) {
2177 if (iswired(*ptep)) {
2329 pt_entry_t *ptep;
2331 ptep = pmap_pte(map->pmap, va);
2332 if (0 == ptep)
2334 return ((*ptep & (INTEL_PTE_NCACHE | INTEL_PTE_WIRED)) != (INTEL_PTE_NCACHE | INTEL_PTE_WIRED));