diff --git a/sys/kern/init_main.c b/sys/kern/init_main.c index 2f83d81270e3..e7df226d3986 100644 --- a/sys/kern/init_main.c +++ b/sys/kern/init_main.c @@ -119,12 +119,8 @@ SYSCTL_INT(_debug, OID_AUTO, bootverbose, CTLFLAG_RW, &bootverbose, 0, /* Want to avoid defining INVARIANTS if not already defined */ #ifdef INVARIANTS -static int invariants = 1; -#else -static int invariants = 0; +FEATURE(invariants, "Kernel compiled with INVARIANTS, may affect performance"); #endif -SYSCTL_INT(_debug, OID_AUTO, invariants, CTLFLAG_RD, &invariants, 0, - "Kernel compiled with invariants"); /* * This ensures that there is at least one entry so that the sysinit_set