Index: kfreebsd-9/sys/amd64/include/pmap.h
===================================================================
--- kfreebsd-9.orig/sys/amd64/include/pmap.h	2011-08-31 22:26:06.000000000 +0200
+++ kfreebsd-9/sys/amd64/include/pmap.h	2011-09-01 21:31:41.650902274 +0200
@@ -45,6 +45,8 @@
 #ifndef _MACHINE_PMAP_H_
 #define	_MACHINE_PMAP_H_
 
+#include "opt_pmap.h"
+
 /*
  * Page-directory and page-table entries follow this format, with a few
  * of the fields not present here and there, depending on a lot of things.