Date: Mon, 2 Jan 2023 21:14:27 GMT From: =?utf-8?Q?Jean-S=C3=A9bastien=20P=C3=A9dron?= <dumbbell@FreeBSD.org> To: src-committers@FreeBSD.org, dev-commits-src-all@FreeBSD.org, dev-commits-src-main@FreeBSD.org Subject: git: 17f2b12a3877 - main - linuxkpi: Define `lockdep_assert_none_held_once()` Message-ID: <202301022114.302LERkA044201@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by dumbbell (ports committer): URL: https://cgit.FreeBSD.org/src/commit/?id=17f2b12a3877f460f72123242c068881806388c2 commit 17f2b12a3877f460f72123242c068881806388c2 Author: Jean-Sébastien Pédron <dumbbell@FreeBSD.org> AuthorDate: 2022-12-30 09:50:02 +0000 Commit: Jean-Sébastien Pédron <dumbbell@FreeBSD.org> CommitDate: 2023-01-02 21:07:31 +0000 linuxkpi: Define `lockdep_assert_none_held_once()` This is defined as a no-op even when INVARIANTS is defined. I admit I don't know how to implement that in FreeBSD and didn't search thoroughly. Reviewed by: bz Approved by: bz Differential Revision: https://reviews.freebsd.org/D37911 --- sys/compat/linuxkpi/common/include/linux/lockdep.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/sys/compat/linuxkpi/common/include/linux/lockdep.h b/sys/compat/linuxkpi/common/include/linux/lockdep.h index 89e66267f3dc..1f68d6fbc22d 100644 --- a/sys/compat/linuxkpi/common/include/linux/lockdep.h +++ b/sys/compat/linuxkpi/common/include/linux/lockdep.h @@ -67,6 +67,8 @@ struct pin_cookie { LOCK_CLASS(__lock)->lc_assert(__lock, LA_LOCKED | LA_NOTRECURSED); \ } while (0) +#define lockdep_assert_none_held_once() do { } while (0) + static __inline bool lockdep_is_held(void *__m) { @@ -81,6 +83,7 @@ lockdep_is_held(void *__m) #else #define lockdep_assert_not_held(m) do { (void)(m); } while (0) #define lockdep_assert_held(m) do { (void)(m); } while (0) +#define lockdep_assert_none_held_once() do { } while (0) #define lockdep_assert_held_once(m) do { (void)(m); } while (0)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202301022114.302LERkA044201>