From b3d0562dd84540be2fd98e6a457cdcb232e9f915 Mon Sep 17 00:00:00 2001
From: Gleb Smirnoff <glebius@FreeBSD.org>
Date: Tue, 17 Jun 2025 09:47:06 -0700
Subject: [PATCH] LINT: add KDTRACE_MIB_SDT to catch inconsistencies with
 struct tcpstat

Why only arm64?  We want LINT coverage for kernels with DTrace and
without.  Global NOTES doesn't have KDTRACE_HOOKS, but most machine
dependent NOTES have it.  Except the x86 NOTES, which intentionally
doesn't have KDTRACE_HOOKS, so that there is coverage for a kernel without
DTrace.  So lets use arm64, our second Tier 1 platform, to have a LINT
with maximum DTrace features enabled.

See also: daad0b6501359, 2f915345634e
---
 sys/arm64/conf/NOTES | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sys/arm64/conf/NOTES b/sys/arm64/conf/NOTES
index 5f29112d535..e773253da6d 100644
--- a/sys/arm64/conf/NOTES
+++ b/sys/arm64/conf/NOTES
@@ -16,6 +16,7 @@
 # kernel modules.
 #
 options 	KDTRACE_HOOKS
+options 	KDTRACE_MIB_SDT
 
 #
 # Most of the following is copied from ARM64 GENERIC.