osfmk/i386/pmap.c

353 		  pmap_store_pte(
398 		  pmap_store_pte(
465 		  pmap_store_pte(
544     pmap_store_pte(ptep, (pa & PG_FRAME)
698 	  pmap_store_pte(
702 	  pmap_store_pte(pdpt, pa | INTEL_PTE_VALID);
718 	pmap_store_pte(pmap_pde(kernel_pmap, HIGH_MEM_BASE), high_shared_pde);
790 	  pmap_store_pte(kernel_pmap->pm_pml4,
792 	  pmap_store_pte((ppdpt64+0), *(ppdpt+0) | PAGE_BITS);
793 	  pmap_store_pte((ppdpt64+1), *(ppdpt+1) | PAGE_BITS);
794 	  pmap_store_pte((ppdpt64+2), *(ppdpt+2) | PAGE_BITS);
795 	  pmap_store_pte((ppdpt64+3), *(ppdpt+3) | PAGE_BITS);
801 	  pmap_store_pte((ppml4+KERNEL_UBER_PML4_INDEX), *(ppml4+0));
1123 				pmap_store_pte(ptep, *ptep & ~INTEL_PTE_RW);
1162 			DBG("pmap_store_pte(%p,0x%llx)\n",
1164 			pmap_store_pte(pdep, pde);
1185 	pmap_store_pte(pmap_pte(kernel_pmap, 0), INTEL_PTE_INVALID);
1194 	pmap_store_pte(pte, kvtophys((vm_offset_t)&lowGlo)
1372 			pmap_store_pte(pdpt, pa | template);
1377 		pmap_store_pte(pmap_pde(p, HIGH_MEM_BASE), high_shared_pde);
1408 		pmap_store_pte((pml4p+KERNEL_UBER_PML4_INDEX),*kernel_pmap->pm_pml4);
1417 			pmap_store_pte(pdp, high_shared_pde);
1492 	pmap_store_pte(user_pdptp+0, *(kern_pdptp+0));
1493 	pmap_store_pte(user_pdptp+1, *(kern_pdptp+1));
1494 	pmap_store_pte(user_pdptp+2, *(kern_pdptp+2));
1495 	pmap_store_pte(user_pdptp+3, *(kern_pdptp+3));
1521 	pmap_store_pte(user_pdptp+0, 0);
1522 	pmap_store_pte(user_pdptp+1, 0);
1523 	pmap_store_pte(user_pdptp+2, 0);
1524 	pmap_store_pte(user_pdptp+3, 0);
1874 	pmap_store_pte(pml4p, pa_to_pte(pa)
1964 	pmap_store_pte(pdptp, pa_to_pte(pa)
2084 	pmap_store_pte(pdp, pa_to_pte(pa)
2162 		pmap_store_pte(pdp, *pdp & ~INTEL_PTE_REF);
2195 		    pmap_store_pte(pdp, 0x0);
2377 		pmap_store_pte(npte, pte);
2490 			pmap_store_pte(mp->prv_CMAP, pentry);
2506     pmap_store_pte(mp->prv_CMAP, 0);
2573   pmap_store_pte(pte_unique_base + a, pte);