diff options
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/arm/arm/pmap.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/arm/arm/pmap.c b/sys/arm/arm/pmap.c index a79a6d644fb4..2d3cc5a47bf9 100644 --- a/sys/arm/arm/pmap.c +++ b/sys/arm/arm/pmap.c @@ -144,6 +144,8 @@ */ /* Include header files */ +#include "opt_vm.h" + #include <sys/cdefs.h> __FBSDID("$FreeBSD$"); #include <sys/param.h> |
