osfmk/x86_64/pmap.c

648 	pt_entry_t *ptep = NULL;
666 		for (ptep = pmap_pte(npmap, cv); ptep != NULL && (cv < (pdev + NBPD)) && (cv < ev);) {
668 				*ptep |= INTEL_PTE_NX;
670 				*ptep &= ~INTEL_PTE_WRITE;
672 			ptep = pmap_pte(npmap, cv);
675 	DPRINTF("%s(0x%llx, 0x%llx, %u, %u): 0x%llx, 0x%llx\n", __FUNCTION__, sv, nxrosz, NX, ro, cv, ptep ? *ptep: 0);
820 			pt_entry_t     *ptep;
822 			ptep = pmap_pte(kernel_pmap, (vm_map_offset_t)myva);
823 			if (ptep)
824 				pmap_store_pte(ptep, *ptep & ~INTEL_PTE_WRITE);
845 			pt_entry_t	*ptep;
851 			ptep = pmap_pte(kernel_pmap, (vm_map_offset_t)myva);
852 			DBG("myva: %p pdep: %p ptep: %p\n",
853 				(void *) myva, (void *) pdep, (void *) ptep);
854 			if ((*ptep & INTEL_PTE_VALID) == 0)
856 			pte_phys = (vm_offset_t)(*ptep & PG_FRAME);
869 			 * Note: ptep is a virtual address to the pte in the
1782 		    register pt_entry_t *ptep;
1783 		    for (ptep = ptp; ptep < eptp; ptep++) {
1784 			if (iswired(*ptep)) {
1942 	pt_entry_t     *ptep;
1944 	ptep = pmap_pte(map->pmap, va);
1945 	if (0 == ptep)
1947 	return ((*ptep & (INTEL_PTE_NCACHE | INTEL_PTE_WIRED)) != (INTEL_PTE_NCACHE | INTEL_PTE_WIRED));
2260 		pt_entry_t *ptep = pmap_pte(ipmap, cv);
2261 		if (ptep && (*ptep & INTEL_PTE_VALID)) {
2262 			if (*ptep & INTEL_PTE_WRITE) {
2263 				if (!(*ptep & INTEL_PTE_NX)) {
2264 					kprintf("W+X PTE at 0x%lx, P4: 0x%llx, P3: 0x%llx, P2: 0x%llx, PT: 0x%llx, VP: %u\n", cv, *pmap64_pml4(ipmap, cv), *pmap64_pdpt(ipmap, cv), *pmap64_pde(ipmap, cv), *ptep, pmap_valid_page((ppnum_t)(i386_btop(pte_to_pa(*ptep)))));
2313 				pt_entry_t *ptep = pmap_pte(ipmap, pcv);
2316 				if ((ptep == NULL) || !(*ptep & INTEL_PTE_VALID))
2319 				if (*ptep & INTEL_PTE_WRITE)
2321 				if ((*ptep & INTEL_PTE_NX) == 0)
2324 					kprintf("PTE/map entry permissions mismatch at address 0x%lx, pte: 0x%llx, protection: 0x%x\n", pcv, *ptep, prot);