Index: sys/arch/arm/arm32/pmap.c
===================================================================
RCS file: /cvsroot/src/sys/arch/arm/arm32/pmap.c,v
retrieving revision 1.321
diff -u -p -r1.321 pmap.c
--- sys/arch/arm/arm32/pmap.c	11 May 2015 22:28:22 -0000	1.321
+++ sys/arch/arm/arm32/pmap.c	13 May 2015 15:29:50 -0000
@@ -1569,7 +1569,7 @@ pmap_alloc_l2_bucket(pmap_t pm, vaddr_t 
 		    | L1_C_DOM(pmap_domain(pm));
 		KASSERT(*pdep == 0);
 		l1pte_setone(pdep, npde);
-		PTE_SYNC(pdep);
+		PDE_SYNC(pdep);
 #endif
 	}
 
@@ -3359,7 +3359,7 @@ pmap_enter(pmap_t pm, vaddr_t va, paddr_
 				    | L1_C_DOM(pmap_domain(pm));
 				if (*pdep != pde) {
 					l1pte_setone(pdep, pde);
-					PTE_SYNC(pdep);
+					PDE_SYNC(pdep);
 				}
 			}
 		}
@@ -4546,7 +4546,7 @@ pmap_fault_fixup(pmap_t pm, vaddr_t va, 
 	pd_entry_t pde = L1_C_PROTO | l2b->l2b_pa | L1_C_DOM(pmap_domain(pm));
 	if (*pdep != pde) {
 		l1pte_setone(pdep, pde);
-		PTE_SYNC(pdep);
+		PDE_SYNC(pdep);
 		rv = 1;
 		PMAPCOUNT(fixup_pdes);
 	}