amd64/amd64/pmap.c

425 static void pmap_fill_ptp(pt_entry_t *firstpte, pt_entry_t newpte);
3240 pmap_fill_ptp(pt_entry_t *firstpte, pt_entry_t newpte)
3244 	for (pte = firstpte; pte < firstpte + NPTEPG; pte++) {
3272 	pt_entry_t *firstpte, newpte;
3327 	firstpte = (pt_entry_t *)PHYS_TO_DMAP(mptepa);
3341 		pmap_fill_ptp(firstpte, newpte);
3343 	KASSERT((*firstpte & PG_FRAME) == (newpte & PG_FRAME),
3344 	    ("pmap_demote_pde: firstpte and newpte map different physical"
3351 	if ((*firstpte & PG_PTE_PROMOTE) != (newpte & PG_PTE_PROMOTE))
3352 		pmap_fill_ptp(firstpte, newpte);
3983 	pt_entry_t *firstpte, oldpte, pa, *pte;
4003 	firstpte = (pt_entry_t *)PHYS_TO_DMAP(*pde & PG_FRAME);
4005 	newpde = *firstpte;
4017 		if (!atomic_cmpset_long(firstpte, newpde, newpde & ~PG_RW))
4028 	for (pte = firstpte + NPTEPG - 1; pte > firstpte; pte--) {