diff options
| -rw-r--r-- | sys/kern/kern_mutex.c | 7 | ||||
| -rw-r--r-- | sys/kern/subr_turnstile.c | 7 | ||||
| -rw-r--r-- | sys/kern/subr_witness.c | 7 |
3 files changed, 18 insertions, 3 deletions
diff --git a/sys/kern/kern_mutex.c b/sys/kern/kern_mutex.c index bc335c5..e66e6f8 100644 --- a/sys/kern/kern_mutex.c +++ b/sys/kern/kern_mutex.c @@ -53,6 +53,12 @@ #include "opt_ddb.h" #include "opt_witness.h" +/* + * Cause non-inlined mtx_*() to be compiled. + * Must be defined early because other system headers may include mutex.h. + */ +#define _KERN_MUTEX_C_ + #include <sys/param.h> #include <sys/bus.h> #include <sys/kernel.h> @@ -73,7 +79,6 @@ #include <vm/vm.h> #include <vm/vm_extern.h> -#define _KERN_MUTEX_C_ /* Cause non-inlined mtx_*() to be compiled. */ #include <sys/mutex.h> /* diff --git a/sys/kern/subr_turnstile.c b/sys/kern/subr_turnstile.c index bc335c5..e66e6f8 100644 --- a/sys/kern/subr_turnstile.c +++ b/sys/kern/subr_turnstile.c @@ -53,6 +53,12 @@ #include "opt_ddb.h" #include "opt_witness.h" +/* + * Cause non-inlined mtx_*() to be compiled. + * Must be defined early because other system headers may include mutex.h. + */ +#define _KERN_MUTEX_C_ + #include <sys/param.h> #include <sys/bus.h> #include <sys/kernel.h> @@ -73,7 +79,6 @@ #include <vm/vm.h> #include <vm/vm_extern.h> -#define _KERN_MUTEX_C_ /* Cause non-inlined mtx_*() to be compiled. */ #include <sys/mutex.h> /* diff --git a/sys/kern/subr_witness.c b/sys/kern/subr_witness.c index bc335c5..e66e6f8 100644 --- a/sys/kern/subr_witness.c +++ b/sys/kern/subr_witness.c @@ -53,6 +53,12 @@ #include "opt_ddb.h" #include "opt_witness.h" +/* + * Cause non-inlined mtx_*() to be compiled. + * Must be defined early because other system headers may include mutex.h. + */ +#define _KERN_MUTEX_C_ + #include <sys/param.h> #include <sys/bus.h> #include <sys/kernel.h> @@ -73,7 +79,6 @@ #include <vm/vm.h> #include <vm/vm_extern.h> -#define _KERN_MUTEX_C_ /* Cause non-inlined mtx_*() to be compiled. */ #include <sys/mutex.h> /* |
