$FreeBSD$ --- src/VBox/Runtime/r0drv/freebsd/the-freebsd-kernel.h 2012-12-19 10:27:29.000000000 -0800 +++ src/VBox/Runtime/r0drv/freebsd/the-freebsd-kernel.h 2013-03-20 19:10:15.854804053 -0700 @@ -50,6 +50,9 @@ #include #include #include +#if __FreeBSD_version >= 1000030 +#include +#endif #include #include #include