git: 0f80d5ebc898 - main - Require INVARIANTS and WITNESS if DEBUG_VFS_LOCKS is set

The branch main has been updated by kib:

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

commit 0f80d5ebc898f487067a3f2232f9ab0a7b291277
Author:     Konstantin Belousov <kib@FreeBSD.org>
AuthorDate: 2023-01-15 21:33:10 +0000
Commit:     Konstantin Belousov <kib@FreeBSD.org>
CommitDate: 2023-01-16 03:55:47 +0000

    Require INVARIANTS and WITNESS if DEBUG_VFS_LOCKS is set
    
    Reported by:    pho
    Reviewed by:    markj, mjg
    Sponsored by:   The FreeBSD Foundation
    MFC after:      1 week
    Differential revision:  https://reviews.freebsd.org/D38070
---
 sys/kern/vfs_subr.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/sys/kern/vfs_subr.c b/sys/kern/vfs_subr.c
index d49f97a7060e..a1a73f2ddf38 100644
--- a/sys/kern/vfs_subr.c
+++ b/sys/kern/vfs_subr.c
@@ -99,6 +99,10 @@ __FBSDID("$FreeBSD$");
 #include <vm/vm_kern.h>
 #include <vm/uma.h>
 
+#if defined(DEBUG_VFS_LOCKS) && (!defined(INVARIANTS) || !defined(WITNESS))
+#error DEBUG_VFS_LOCKS requires INVARIANTS and WITNESS
+#endif
+
 #ifdef DDB
 #include <ddb/ddb.h>
 #endif