git: b3d0562dd845 - main - LINT: add KDTRACE_MIB_SDT to catch inconsistencies with struct tcpstat

From: Gleb Smirnoff <glebius_at_FreeBSD.org>
Date: Tue, 17 Jun 2025 16:53:57 UTC
The branch main has been updated by glebius:

URL: https://cgit.FreeBSD.org/src/commit/?id=b3d0562dd84540be2fd98e6a457cdcb232e9f915

commit b3d0562dd84540be2fd98e6a457cdcb232e9f915
Author:     Gleb Smirnoff <glebius@FreeBSD.org>
AuthorDate: 2025-06-17 16:47:06 +0000
Commit:     Gleb Smirnoff <glebius@FreeBSD.org>
CommitDate: 2025-06-17 16:53:44 +0000

    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 5f29112d535d..e773253da6d7 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.