diff --git a/sys/arm/arm/pmap-v6.c b/sys/arm/arm/pmap-v6.c
index d22266984981..c89d14dab128 100644
--- a/sys/arm/arm/pmap-v6.c
+++ b/sys/arm/arm/pmap-v6.c
@@ -3297,11 +3297,9 @@ pmap_extract(pmap_t pmap, vm_offset_t va)
 {
 	vm_paddr_t pa;
 
-	if (kernel_vm_end != 0)
-		PMAP_LOCK(pmap);
+	PMAP_LOCK(pmap);
 	pa = pmap_extract_locked(pmap, va);
-	if (kernel_vm_end != 0)
-		PMAP_UNLOCK(pmap);
+	PMAP_UNLOCK(pmap);
 	return (pa);
 }