linux.git/tools/testing/vma/tests/vma.c, branch master

tools/testing/vma: update VMA tests to test vma_clear_flags[_mask]()

2026-04-05T20:53:41+00:00

The tests have existing flag clearing logic, so simply expand this to use
the new VMA-specific flag clearing helpers.

Also correct some trivial formatting issue in a macro define.

Link: https://lkml.kernel.org/r/f5da681d3c33039dd4a838188385796eb8d58373.1774034900.git.ljs@kernel.org
Signed-off-by: Lorenzo Stoakes (Oracle) 
Cc: Albert Ou 
Cc: Alexander Gordeev 
Cc: Alexandre Ghiti 
Cc: Al Viro 
Cc: Anton Ivanov 
Cc: "Borislav Petkov (AMD)" 
Cc: Catalin Marinas 
Cc: Chengming Zhou 
Cc: Christian Borntraeger 
Cc: Christian Brauner 
Cc: David Hildenbrand 
Cc: Dinh Nguyen 
Cc: Heiko Carstens 
Cc: "H. Peter Anvin" 
Cc: Huacai Chen 
Cc: Ingo Molnar 
Cc: Jan Kara 
Cc: Jann Horn 
Cc: Johannes Berg 
Cc: Kees Cook 
Cc: Liam Howlett 
Cc: Madhavan Srinivasan 
Cc: Michael Ellerman 
Cc: Michal Hocko 
Cc: Mike Rapoport 
Cc: Nicholas Piggin 
Cc: Ondrej Mosnacek 
Cc: Palmer Dabbelt 
Cc: Paul Moore 
Cc: Pedro Falcato 
Cc: Richard Weinberger 
Cc: Russell King 
Cc: Stephen Smalley 
Cc: Suren Baghdasaryan 
Cc: Sven Schnelle 
Cc: Thomas Bogendoerfer 
Cc: Vasily Gorbik 
Cc: Vineet Gupta 
Cc: Vlastimil Babka (SUSE) 
Cc: WANG Xuerui 
Cc: Will Deacon 
Cc: xu xin 
Signed-off-by: Andrew Morton

tools/testing/vma: test vma_flags_count,vma[_flags]_test_single_mask

2026-04-05T20:53:40+00:00

Update the VMA tests to assert that vma_flags_count() behaves as expected,
as well as vma_flags_test_single_mask() and vma_test_single_mask().

For the test functions we can simply update the existing vma_test(), et
al.  test to also test the single_mask variants.

We also add some explicit testing of an empty VMA flag to this test to
ensure this is handled properly.

In order to test vma_flags_count() we simply take an existing set of flags
and gradually remove flags ensuring the count remains as expected
throughout.

We also update the vma[_flags]_test_all() tests to make clear the
semantics that we expect vma[_flags]_test_all(..., EMPTY_VMA_FLAGS) to
return true, as trivially, all flags of none are always set in VMA flags.

Link: https://lkml.kernel.org/r/4af95d559cd2af0ba3388de1e1386b9f94c0e009.1774034900.git.ljs@kernel.org
Signed-off-by: Lorenzo Stoakes (Oracle) 
Cc: Albert Ou 
Cc: Alexander Gordeev 
Cc: Alexandre Ghiti 
Cc: Al Viro 
Cc: Anton Ivanov 
Cc: "Borislav Petkov (AMD)" 
Cc: Catalin Marinas 
Cc: Chengming Zhou 
Cc: Christian Borntraeger 
Cc: Christian Brauner 
Cc: David Hildenbrand 
Cc: Dinh Nguyen 
Cc: Heiko Carstens 
Cc: "H. Peter Anvin" 
Cc: Huacai Chen 
Cc: Ingo Molnar 
Cc: Jan Kara 
Cc: Jann Horn 
Cc: Johannes Berg 
Cc: Kees Cook 
Cc: Liam Howlett 
Cc: Madhavan Srinivasan 
Cc: Michael Ellerman 
Cc: Michal Hocko 
Cc: Mike Rapoport 
Cc: Nicholas Piggin 
Cc: Ondrej Mosnacek 
Cc: Palmer Dabbelt 
Cc: Paul Moore 
Cc: Pedro Falcato 
Cc: Richard Weinberger 
Cc: Russell King 
Cc: Stephen Smalley 
Cc: Suren Baghdasaryan 
Cc: Sven Schnelle 
Cc: Thomas Bogendoerfer 
Cc: Vasily Gorbik 
Cc: Vineet Gupta 
Cc: Vlastimil Babka (SUSE) 
Cc: WANG Xuerui 
Cc: Will Deacon 
Cc: xu xin 
Signed-off-by: Andrew Morton

tools/testing/vma: update VMA flag tests to test vma_test[_any_mask]()

2026-04-05T20:53:40+00:00

Update the existing test logic to assert that vma_test(), vma_test_any()
and vma_test_any_mask() (implicitly tested via vma_test_any()) are
functioning correctly.

We already have tests for other variants like this, so it's simply a
matter of expanding those tests to also include tests for the VMA-specific
helpers.

Link: https://lkml.kernel.org/r/dea3e97c6c3dd86f1a3f1a0703241b03f6e3a33f.1774034900.git.ljs@kernel.org
Signed-off-by: Lorenzo Stoakes (Oracle) 
Cc: Albert Ou 
Cc: Alexander Gordeev 
Cc: Alexandre Ghiti 
Cc: Al Viro 
Cc: Anton Ivanov 
Cc: "Borislav Petkov (AMD)" 
Cc: Catalin Marinas 
Cc: Chengming Zhou 
Cc: Christian Borntraeger 
Cc: Christian Brauner 
Cc: David Hildenbrand 
Cc: Dinh Nguyen 
Cc: Heiko Carstens 
Cc: "H. Peter Anvin" 
Cc: Huacai Chen 
Cc: Ingo Molnar 
Cc: Jan Kara 
Cc: Jann Horn 
Cc: Johannes Berg 
Cc: Kees Cook 
Cc: Liam Howlett 
Cc: Madhavan Srinivasan 
Cc: Michael Ellerman 
Cc: Michal Hocko 
Cc: Mike Rapoport 
Cc: Nicholas Piggin 
Cc: Ondrej Mosnacek 
Cc: Palmer Dabbelt 
Cc: Paul Moore 
Cc: Pedro Falcato 
Cc: Richard Weinberger 
Cc: Russell King 
Cc: Stephen Smalley 
Cc: Suren Baghdasaryan 
Cc: Sven Schnelle 
Cc: Thomas Bogendoerfer 
Cc: Vasily Gorbik 
Cc: Vineet Gupta 
Cc: Vlastimil Babka (SUSE) 
Cc: WANG Xuerui 
Cc: Will Deacon 
Cc: xu xin 
Signed-off-by: Andrew Morton

tools/testing/vma: test that legacy flag helpers work correctly

2026-04-05T20:53:39+00:00

Update the existing compare_legacy_flags() predicate function to assert
that legacy_to_vma_flags() and vma_flags_to_legacy() behave as expected.

Link: https://lkml.kernel.org/r/3374e50053adb65818fde948ae3488e1e29ae8b1.1774034900.git.ljs@kernel.org
Signed-off-by: Lorenzo Stoakes (Oracle) 
Cc: Albert Ou 
Cc: Alexander Gordeev 
Cc: Alexandre Ghiti 
Cc: Al Viro 
Cc: Anton Ivanov 
Cc: "Borislav Petkov (AMD)" 
Cc: Catalin Marinas 
Cc: Chengming Zhou 
Cc: Christian Borntraeger 
Cc: Christian Brauner 
Cc: David Hildenbrand 
Cc: Dinh Nguyen 
Cc: Heiko Carstens 
Cc: "H. Peter Anvin" 
Cc: Huacai Chen 
Cc: Ingo Molnar 
Cc: Jan Kara 
Cc: Jann Horn 
Cc: Johannes Berg 
Cc: Kees Cook 
Cc: Liam Howlett 
Cc: Madhavan Srinivasan 
Cc: Michael Ellerman 
Cc: Michal Hocko 
Cc: Mike Rapoport 
Cc: Nicholas Piggin 
Cc: Ondrej Mosnacek 
Cc: Palmer Dabbelt 
Cc: Paul Moore 
Cc: Pedro Falcato 
Cc: Richard Weinberger 
Cc: Russell King 
Cc: Stephen Smalley 
Cc: Suren Baghdasaryan 
Cc: Sven Schnelle 
Cc: Thomas Bogendoerfer 
Cc: Vasily Gorbik 
Cc: Vineet Gupta 
Cc: Vlastimil Babka (SUSE) 
Cc: WANG Xuerui 
Cc: Will Deacon 
Cc: xu xin 
Signed-off-by: Andrew Morton

tools/testing/vma: add simple test for append_vma_flags()

2026-04-05T20:53:39+00:00

Add a simple test for append_vma_flags() to assert that it behaves as
expected.

Additionally, include the VMA_REMAP_FLAGS definition in the VMA tests to
allow us to use this value in the testing.

Link: https://lkml.kernel.org/r/eebd946c5325ad7fae93027245a562eb1aeb68a2.1774034900.git.ljs@kernel.org
Signed-off-by: Lorenzo Stoakes (Oracle) 
Cc: Albert Ou 
Cc: Alexander Gordeev 
Cc: Alexandre Ghiti 
Cc: Al Viro 
Cc: Anton Ivanov 
Cc: "Borislav Petkov (AMD)" 
Cc: Catalin Marinas 
Cc: Chengming Zhou 
Cc: Christian Borntraeger 
Cc: Christian Brauner 
Cc: David Hildenbrand 
Cc: Dinh Nguyen 
Cc: Heiko Carstens 
Cc: "H. Peter Anvin" 
Cc: Huacai Chen 
Cc: Ingo Molnar 
Cc: Jan Kara 
Cc: Jann Horn 
Cc: Johannes Berg 
Cc: Kees Cook 
Cc: Liam Howlett 
Cc: Madhavan Srinivasan 
Cc: Michael Ellerman 
Cc: Michal Hocko 
Cc: Mike Rapoport 
Cc: Nicholas Piggin 
Cc: Ondrej Mosnacek 
Cc: Palmer Dabbelt 
Cc: Paul Moore 
Cc: Pedro Falcato 
Cc: Richard Weinberger 
Cc: Russell King 
Cc: Stephen Smalley 
Cc: Suren Baghdasaryan 
Cc: Sven Schnelle 
Cc: Thomas Bogendoerfer 
Cc: Vasily Gorbik 
Cc: Vineet Gupta 
Cc: Vlastimil Babka (SUSE) 
Cc: WANG Xuerui 
Cc: Will Deacon 
Cc: xu xin 
Signed-off-by: Andrew Morton

tools/testing/vma: fix VMA flag tests

2026-04-05T20:53:39+00:00

The VMA tests are incorrectly referencing NUM_VMA_FLAGS, which doesn't
exist, rather they should reference NUM_VMA_FLAG_BITS.

Additionally, remove the custom-written implementation of __mk_vma_flags()
as this means we are not testing the code as present in the kernel, rather
add the actual __mk_vma_flags() to dup.h and add #ifdef's to handle
declarations differently depending on NUM_VMA_FLAG_BITS.

Link: https://lkml.kernel.org/r/b19c63af3d5efdfe712bf5d5f89368a5360a60f7.1774034900.git.ljs@kernel.org
Signed-off-by: Lorenzo Stoakes (Oracle) 
Cc: Albert Ou 
Cc: Alexander Gordeev 
Cc: Alexandre Ghiti 
Cc: Al Viro 
Cc: Anton Ivanov 
Cc: "Borislav Petkov (AMD)" 
Cc: Catalin Marinas 
Cc: Chengming Zhou 
Cc: Christian Borntraeger 
Cc: Christian Brauner 
Cc: David Hildenbrand 
Cc: Dinh Nguyen 
Cc: Heiko Carstens 
Cc: "H. Peter Anvin" 
Cc: Huacai Chen 
Cc: Ingo Molnar 
Cc: Jan Kara 
Cc: Jann Horn 
Cc: Johannes Berg 
Cc: Kees Cook 
Cc: Liam Howlett 
Cc: Madhavan Srinivasan 
Cc: Michael Ellerman 
Cc: Michal Hocko 
Cc: Mike Rapoport 
Cc: Nicholas Piggin 
Cc: Ondrej Mosnacek 
Cc: Palmer Dabbelt 
Cc: Paul Moore 
Cc: Pedro Falcato 
Cc: Richard Weinberger 
Cc: Russell King 
Cc: Stephen Smalley 
Cc: Suren Baghdasaryan 
Cc: Sven Schnelle 
Cc: Thomas Bogendoerfer 
Cc: Vasily Gorbik 
Cc: Vineet Gupta 
Cc: Vlastimil Babka (SUSE) 
Cc: WANG Xuerui 
Cc: Will Deacon 
Cc: xu xin 
Signed-off-by: Andrew Morton

tools/testing/vma: convert bulk of test code to vma_flags_t

2026-04-05T20:53:38+00:00

Convert the test code to utilise vma_flags_t as opposed to the deprecate
vm_flags_t as much as possible.

As part of this change, add VMA_STICKY_FLAGS and VMA_SPECIAL_FLAGS as
early versions of what these defines will look like in the kernel logic
once this logic is implemented.

Link: https://lkml.kernel.org/r/df90efe29300bd899989f695be4ae3adc901a828.1774034900.git.ljs@kernel.org
Signed-off-by: Lorenzo Stoakes (Oracle) 
Cc: Albert Ou 
Cc: Alexander Gordeev 
Cc: Alexandre Ghiti 
Cc: Al Viro 
Cc: Anton Ivanov 
Cc: "Borislav Petkov (AMD)" 
Cc: Catalin Marinas 
Cc: Chengming Zhou 
Cc: Christian Borntraeger 
Cc: Christian Brauner 
Cc: David Hildenbrand 
Cc: Dinh Nguyen 
Cc: Heiko Carstens 
Cc: "H. Peter Anvin" 
Cc: Huacai Chen 
Cc: Ingo Molnar 
Cc: Jan Kara 
Cc: Jann Horn 
Cc: Johannes Berg 
Cc: Kees Cook 
Cc: Liam Howlett 
Cc: Madhavan Srinivasan 
Cc: Michael Ellerman 
Cc: Michal Hocko 
Cc: Mike Rapoport 
Cc: Nicholas Piggin 
Cc: Ondrej Mosnacek 
Cc: Palmer Dabbelt 
Cc: Paul Moore 
Cc: Pedro Falcato 
Cc: Richard Weinberger 
Cc: Russell King 
Cc: Stephen Smalley 
Cc: Suren Baghdasaryan 
Cc: Sven Schnelle 
Cc: Thomas Bogendoerfer 
Cc: Vasily Gorbik 
Cc: Vineet Gupta 
Cc: Vlastimil Babka (SUSE) 
Cc: WANG Xuerui 
Cc: Will Deacon 
Cc: xu xin 
Signed-off-by: Andrew Morton

tools/testing/vma: add unit tests flag empty, diff_pair, and[_mask]

2026-04-05T20:53:38+00:00

Add VMA unit tests to assert that:

* vma_flags_empty()
* vma_flags_diff_pair()
* vma_flags_and_mask()
* vma_flags_and()

All function as expected.

In additional to the added tests, in order to make testing easier, add
vma_flags_same_mask() and vma_flags_same() for testing only.  If/when
these are required in kernel code, they can be moved over.

Also add ASSERT_FLAGS_[NOT_]SAME[_MASK](), ASSERT_FLAGS_[NON]EMPTY() test
helpers to make asserting flag state easier and more convenient.

Link: https://lkml.kernel.org/r/471ce7ceb1d32e5fc9c0660966b9eacdf899b4d1.1774034900.git.ljs@kernel.org
Signed-off-by: Lorenzo Stoakes (Oracle) 
Cc: Albert Ou 
Cc: Alexander Gordeev 
Cc: Alexandre Ghiti 
Cc: Al Viro 
Cc: Anton Ivanov 
Cc: "Borislav Petkov (AMD)" 
Cc: Catalin Marinas 
Cc: Chengming Zhou 
Cc: Christian Borntraeger 
Cc: Christian Brauner 
Cc: David Hildenbrand 
Cc: Dinh Nguyen 
Cc: Heiko Carstens 
Cc: "H. Peter Anvin" 
Cc: Huacai Chen 
Cc: Ingo Molnar 
Cc: Jan Kara 
Cc: Jann Horn 
Cc: Johannes Berg 
Cc: Kees Cook 
Cc: Liam Howlett 
Cc: Madhavan Srinivasan 
Cc: Michael Ellerman 
Cc: Michal Hocko 
Cc: Mike Rapoport 
Cc: Nicholas Piggin 
Cc: Ondrej Mosnacek 
Cc: Palmer Dabbelt 
Cc: Paul Moore 
Cc: Pedro Falcato 
Cc: Richard Weinberger 
Cc: Russell King 
Cc: Stephen Smalley 
Cc: Suren Baghdasaryan 
Cc: Sven Schnelle 
Cc: Thomas Bogendoerfer 
Cc: Vasily Gorbik 
Cc: Vineet Gupta 
Cc: Vlastimil Babka (SUSE) 
Cc: WANG Xuerui 
Cc: Will Deacon 
Cc: xu xin 
Signed-off-by: Andrew Morton

tools/testing/vma: add test for vma_flags_test(), vma_desc_test()

2026-04-05T20:53:19+00:00

Now we have helpers which test singular VMA flags - vma_flags_test() and
vma_desc_test() - add a test to explicitly assert that these behave as
expected.

[ljs@kernel.org: test_vma_flags_test(): use struct initializer, per David]
  Link: https://lkml.kernel.org/r/f6f396d2-1ba2-426f-b756-d8cc5985cc7c@lucifer.local
Link: https://lkml.kernel.org/r/376a39eb9e134d2c8ab10e32720dd292970b080a.1772704455.git.ljs@kernel.org
Signed-off-by: Lorenzo Stoakes (Oracle) 
Acked-by: David Hildenbrand (Arm) 
Reviewed-by: Pedro Falcato 
Cc: Arnd Bergmann 
Cc: Babu Moger 
Cc: Baolin Wang 
Cc: Chao Yu 
Cc: Chatre, Reinette 
Cc: Chunhai Guo 
Cc: Damien Le Maol 
Cc: Dan Williams 
Cc: Dave Jiang 
Cc: Dave Martin 
Cc: Gao Xiang 
Cc: Greg Kroah-Hartman 
Cc: Hongbo Li 
Cc: Hugh Dickins 
Cc: James Morse 
Cc: Jan Kara 
Cc: Jann Horn 
Cc: Jason Gunthorpe 
Cc: Jeffle Xu 
Cc: Johannes Thumshirn 
Cc: Konstantin Komarov 
Cc: Liam Howlett 
Cc: "Luck, Tony" 
Cc: Matthew Wilcox (Oracle) 
Cc: Michal Hocko 
Cc: Mike Rapoport 
Cc: Muchun Song 
Cc: Naohiro Aota 
Cc: Oscar Salvador 
Cc: Sandeep Dhavale 
Cc: Suren Baghdasaryan 
Cc: Vishal Verma 
Cc: Vlastimil Babka 
Cc: Yue Hu 
Signed-off-by: Andrew Morton

mm: rename VMA flag helpers to be more readable

2026-04-05T20:53:18+00:00

Patch series "mm: vma flag tweaks".

The ongoing work around introducing non-system word VMA flags has
introduced a number of helper functions and macros to make life easier
when working with these flags and to make conversions from the legacy use
of VM_xxx flags more straightforward.

This series improves these to reduce confusion as to what they do and to
improve consistency and readability.

Firstly the series renames vma_flags_test() to vma_flags_test_any() to
make it abundantly clear that this function tests whether any of the flags
are set (as opposed to vma_flags_test_all()).

It then renames vma_desc_test_flags() to vma_desc_test_any() for the same
reason.  Note that we drop the 'flags' suffix here, as
vma_desc_test_any_flags() would be cumbersome and 'test' implies a flag
test.

Similarly, we rename vma_test_all_flags() to vma_test_all() for
consistency.

Next, we have a couple of instances (erofs, zonefs) where we are now
testing for vma_desc_test_any(desc, VMA_SHARED_BIT) &&
vma_desc_test_any(desc, VMA_MAYWRITE_BIT).

This is silly, so this series introduces vma_desc_test_all() so these
callers can instead invoke vma_desc_test_all(desc, VMA_SHARED_BIT,
VMA_MAYWRITE_BIT).

We then observe that quite a few instances of vma_flags_test_any() and
vma_desc_test_any() are in fact only testing against a single flag.

Using the _any() variant here is just confusing - 'any' of single item
reads strangely and is liable to cause confusion.

So in these instances the series reintroduces vma_flags_test() and
vma_desc_test() as helpers which test against a single flag.

The fact that vma_flags_t is a struct and that vma_flag_t utilises sparse
to avoid confusion with vm_flags_t makes it impossible for a user to
misuse these helpers without it getting flagged somewhere.

The series also updates __mk_vma_flags() and functions invoked by it to
explicitly mark them always inline to match expectation and to be
consistent with other VMA flag helpers.

It also renames vma_flag_set() to vma_flags_set_flag() (a function only
used by __mk_vma_flags()) to be consistent with other VMA flag helpers.

Finally it updates the VMA tests for each of these changes, and introduces
explicit tests for vma_flags_test() and vma_desc_test() to assert that
they behave as expected.


This patch (of 6):

On reflection, it's confusing to have vma_flags_test() and
vma_desc_test_flags() test whether any comma-separated VMA flag bit is
set, while also having vma_flags_test_all() and vma_test_all_flags()
separately test whether all flags are set.

Firstly, rename vma_flags_test() to vma_flags_test_any() to eliminate this
confusion.

Secondly, since the VMA descriptor flag functions are becoming rather
cumbersome, prefer vma_desc_test*() to vma_desc_test_flags*(), and also
rename vma_desc_test_flags() to vma_desc_test_any().

Finally, rename vma_test_all_flags() to vma_test_all() to keep the
VMA-specific helper consistent with the VMA descriptor naming convention
and to help avoid confusion vs.  vma_flags_test_all().

While we're here, also update whitespace to be consistent in helper
functions.

Link: https://lkml.kernel.org/r/cover.1772704455.git.ljs@kernel.org
Link: https://lkml.kernel.org/r/0f9cb3c511c478344fac0b3b3b0300bb95be95e9.1772704455.git.ljs@kernel.org
Signed-off-by: Lorenzo Stoakes (Oracle) 
Suggested-by: Pedro Falcato 
Acked-by: David Hildenbrand (Arm) 
Reviewed-by: Pedro Falcato 
Cc: Arnd Bergmann 
Cc: Babu Moger 
Cc: Baolin Wang 
Cc: Chao Yu 
Cc: Chatre, Reinette 
Cc: Chunhai Guo 
Cc: Damien Le Maol 
Cc: Dan Williams 
Cc: Dave Jiang 
Cc: Dave Martin 
Cc: Gao Xiang 
Cc: Greg Kroah-Hartman 
Cc: Hongbo Li 
Cc: Hugh Dickins 
Cc: James Morse 
Cc: Jan Kara 
Cc: Jann Horn 
Cc: Jason Gunthorpe 
Cc: Jeffle Xu 
Cc: Johannes Thumshirn 
Cc: Konstantin Komarov 
Cc: Liam Howlett 
Cc: "Luck, Tony" 
Cc: Matthew Wilcox (Oracle) 
Cc: Michal Hocko 
Cc: Mike Rapoport 
Cc: Muchun Song 
Cc: Naohiro Aota 
Cc: Oscar Salvador 
Cc: Sandeep Dhavale 
Cc: Suren Baghdasaryan 
Cc: Vishal Verma 
Cc: Vlastimil Babka 
Cc: Yue Hu 
Signed-off-by: Andrew Morton