From 8b77f22e7ab2fa8fc2d8d8f6ff415e0c19f336b5 Mon Sep 17 00:00:00 2001
From: Michal Meloun <mmel@FreeBSD.org>
Date: Wed, 3 Feb 2016 08:12:21 +0000
Subject: [PATCH] ARM: acle-compat.h is arm specific header, don't include it
 for aarch64. This fixes aarch64 buildkernel.

---
 sys/arm/arm/devmap.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sys/arm/arm/devmap.c b/sys/arm/arm/devmap.c
index 380e12941dc2..4dffa8cc7a2b 100644
--- a/sys/arm/arm/devmap.c
+++ b/sys/arm/arm/devmap.c
@@ -40,7 +40,9 @@ __FBSDID("$FreeBSD$");
 #include <vm/vm.h>
 #include <vm/vm_extern.h>
 #include <vm/pmap.h>
+#ifdef __arm__
 #include <machine/acle-compat.h>
+#endif
 #include <machine/armreg.h>
 #include <machine/devmap.h>
 #include <machine/vmparam.h>