Index: head/sys/arm64/arm64/pmap.c
===================================================================
--- head/sys/arm64/arm64/pmap.c
+++ head/sys/arm64/arm64/pmap.c
@@ -772,12 +772,10 @@
 	vm_offset_t addr;
 
 	sched_pin();
-	sva >>= PAGE_SHIFT;
-	eva >>= PAGE_SHIFT;
 	__asm __volatile("dsb	sy");
-	for (addr = sva; addr < eva; addr++) {
+	for (addr = sva; addr < eva; addr += PAGE_SIZE) {
 		__asm __volatile(
-		    "tlbi vaae1is, %0" : : "r"(addr));
+		    "tlbi vaae1is, %0" : : "r"(addr >> PAGE_SHIFT));
 	}
 	__asm __volatile(
 	    "dsb  sy	\n"