diff options
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/arm/arm/pmap-v6.c | 6 |
1 files changed, 2 insertions, 4 deletions
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); } |