summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--sys/conf/NOTES7
1 files changed, 7 insertions, 0 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES
index e5ae8a4..5aaf2b1 100644
--- a/sys/conf/NOTES
+++ b/sys/conf/NOTES
@@ -167,6 +167,13 @@ options SMP # Symmetric MultiProcessor Kernel
# CPU.
options ADAPTIVE_MUTEXES
+# MUTEX_NOINLINE forces mutex operations to call functions to perform each
+# operation rather than inlining the simple cases. This can be used to
+# shrink the size of the kernel text segment. Note that this behavior is
+# already implied by the INVARIANT_SUPPORT, INVARIANTS, MUTEX_PROFILING,
+# and WITNESS options.
+options MUTEX_NOINLINE
+
# SMP Debugging Options:
#
# MUTEX_DEBUG enables various extra assertions in the mutex code.
OpenPOWER on IntegriCloud