Date: Tue, 12 Jul 2022 17:32:36 GMT From: Doug Moore <dougm@FreeBSD.org> To: src-committers@FreeBSD.org, dev-commits-src-all@FreeBSD.org, dev-commits-src-branches@FreeBSD.org Subject: git: 48d01e24f9d5 - stable/13 - vm_addr_ok: add power2 invariant check Message-ID: <202207121732.26CHWaNJ065615@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch stable/13 has been updated by dougm: URL: https://cgit.FreeBSD.org/src/commit/?id=48d01e24f9d5673d47063fe7e8edfa540c85526f commit 48d01e24f9d5673d47063fe7e8edfa540c85526f Author: Doug Moore <dougm@FreeBSD.org> AuthorDate: 2022-01-10 07:17:25 +0000 Commit: Doug Moore <dougm@FreeBSD.org> CommitDate: 2022-07-12 16:26:12 +0000 vm_addr_ok: add power2 invariant check With INVARIANTS defined, have vm_addr_align_ok and vm_addr_bound_ok panic when passed an alignment/boundary parameter that is not a power of two. Reviewed by: alc Suggested by: kib, se Differential Revision: https://reviews.freebsd.org/D33725 (cherry picked from commit ae13829ddce0b5fbf12f2b240a26414b41def8ba) --- sys/vm/vm_extern.h | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/sys/vm/vm_extern.h b/sys/vm/vm_extern.h index bc01e5a874f9..93c7118353ba 100644 --- a/sys/vm/vm_extern.h +++ b/sys/vm/vm_extern.h @@ -141,6 +141,11 @@ u_int vm_wait_count(void); static inline bool vm_addr_align_ok(vm_paddr_t pa, u_long alignment) { +#ifdef INVARIANTS + if (!powerof2(alignment)) + panic("%s: alignment is not a power of 2: %#lx", + __func__, alignment); +#endif return ((pa & (alignment - 1)) == 0); } @@ -151,6 +156,11 @@ vm_addr_align_ok(vm_paddr_t pa, u_long alignment) static inline bool vm_addr_bound_ok(vm_paddr_t pa, vm_paddr_t size, vm_paddr_t boundary) { +#ifdef INVARIANTS + if (!powerof2(boundary)) + panic("%s: boundary is not a power of 2: %#jx", + __func__, (uintmax_t)boundary); +#endif return (((pa ^ (pa + size - 1)) & -boundary) == 0); }
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202207121732.26CHWaNJ065615>