diff --git a/sys/arm/arm/pmap-v4.c b/sys/arm/arm/pmap-v4.c index e9a676bb2c00..e7eddadfad91 100644 --- a/sys/arm/arm/pmap-v4.c +++ b/sys/arm/arm/pmap-v4.c @@ -168,6 +168,7 @@ __FBSDID("$FreeBSD$"); #include #include #include +#include #include #include