d/freebsd-skq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

When the kernel is compiled with INVARIANTS, export that as

Browse Source 
debug.invariants.

Differential Revision: https://reviews.freebsd.org/D3488
MFC after: 3 days
This commit is contained in:
imp 2015-08-26 23:58:03 +00:00
parent 4c1edcc074
commit b82b5280a1
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
sys/kern/init_main.c
View File

@ -117,6 +117,15 @@ int bootverbose = BOOTVERBOSE;
SYSCTL_INT(_debug, OID_AUTO, bootverbose, CTLFLAG_RW, &bootverbose, 0,
"Control the output of verbose kernel messages");
/* Want to avoid defining INVARIANTS if not already defined */
#ifdef INVARIANTS
static int invariants = 1;
#else
static int invariants = 0;
#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
* symbol is not undefined. A sybsystem ID of SI_SUB_DUMMY is never