LINT/LINT64: Add KTR_TSLEEP.

diff --git a/sys/config/LINT b/sys/config/LINT
index 7035f21..f99a2fe 100644 (file)
--- a/sys/config/LINT
+++ b/sys/config/LINT
@@ -2783,6 +2783,7 @@ options   KTR_VERBOSE=1
 #options KTR_SPIN_CONTENTION
 #options KTR_TESTLOG
 #options KTR_TOKENS
+#options KTR_TSLEEP
 #options KTR_USB_MEMORY
 
 # ALTQ

diff --git a/sys/config/LINT64 b/sys/config/LINT64
index a32870b..fa4bc63 100644 (file)
--- a/sys/config/LINT64
+++ b/sys/config/LINT64
@@ -2554,6 +2554,7 @@ options   KTR_VERBOSE=1
 #options KTR_SPIN_CONTENTION
 #options KTR_TESTLOG
 #options KTR_TOKENS
+#options KTR_TSLEEP
 #options KTR_USB_MEMORY
 
 # ALTQ