242 	REPORT_TEST_PASS();  in test_seal_addseal()
270 	REPORT_TEST_PASS();  in test_seal_unmapped_start()
302 	REPORT_TEST_PASS();  in test_seal_unmapped_middle()
331 	REPORT_TEST_PASS();  in test_seal_unmapped_end()
362 	REPORT_TEST_PASS();  in test_seal_multiple_vmas()
387 	REPORT_TEST_PASS();  in test_seal_split_start()
412 	REPORT_TEST_PASS();  in test_seal_split_end()
447 	REPORT_TEST_PASS();  in test_seal_invalid_input()
471 	REPORT_TEST_PASS();  in test_seal_zero_length()
497 	REPORT_TEST_PASS();  in test_seal_zero_address()
517 	REPORT_TEST_PASS();  in test_seal_twice()
541 	REPORT_TEST_PASS();  in test_seal_mprotect()
571 	REPORT_TEST_PASS();  in test_seal_start_mprotect()
601 	REPORT_TEST_PASS();  in test_seal_end_mprotect()
630 	REPORT_TEST_PASS();  in test_seal_mprotect_unalign_len()
658 	REPORT_TEST_PASS();  in test_seal_mprotect_unalign_len_variant_2()
693 	REPORT_TEST_PASS();  in test_seal_mprotect_two_vma()
740 	REPORT_TEST_PASS();  in test_seal_mprotect_two_vma_with_split()
766 	REPORT_TEST_PASS();  in test_seal_mprotect_partial_mprotect()
801 	REPORT_TEST_PASS();  in test_seal_mprotect_partial_mprotect_tail()
845 	REPORT_TEST_PASS();  in test_seal_mprotect_two_vma_with_gap()
882 	REPORT_TEST_PASS();  in test_seal_mprotect_split()
916 	REPORT_TEST_PASS();  in test_seal_mprotect_merge()
941 	REPORT_TEST_PASS();  in test_seal_munmap()
981 	REPORT_TEST_PASS();  in test_seal_munmap_two_vma()
1019 	REPORT_TEST_PASS();  in test_seal_munmap_vma_with_gap()
1049 	REPORT_TEST_PASS();  in test_seal_munmap_partial_across_vmas()
1089 	REPORT_TEST_PASS();  in test_munmap_start_freed()
1119 	REPORT_TEST_PASS();  in test_munmap_end_freed()
1163 	REPORT_TEST_PASS();  in test_munmap_middle_freed()
1192 	REPORT_TEST_PASS();  in test_seal_mremap_shrink()
1224 	REPORT_TEST_PASS();  in test_seal_mremap_expand()
1257 	REPORT_TEST_PASS();  in test_seal_mremap_move()
1285 	REPORT_TEST_PASS();  in test_seal_mmap_overwrite_prot()
1316 	REPORT_TEST_PASS();  in test_seal_mmap_expand()
1344 	REPORT_TEST_PASS();  in test_seal_mmap_shrink()
1375 	REPORT_TEST_PASS();  in test_seal_mremap_shrink_fixed()
1406 	REPORT_TEST_PASS();  in test_seal_mremap_expand_fixed()
1436 	REPORT_TEST_PASS();  in test_seal_mremap_move_fixed()
1467 	REPORT_TEST_PASS();  in test_seal_mremap_move_fixed_zero()
1496 	REPORT_TEST_PASS();  in test_seal_mremap_move_dontunmap()
1537 	REPORT_TEST_PASS();  in test_seal_mremap_move_dontunmap_anyaddr()
1629 	REPORT_TEST_PASS();  in test_seal_merge_and_split()
1658 	REPORT_TEST_PASS();  in test_seal_discard_ro_anon_on_rw()
1705 	REPORT_TEST_PASS();  in test_seal_discard_ro_anon_on_pkey()
1742 	REPORT_TEST_PASS();  in test_seal_discard_ro_anon_on_filebacked()
1771 	REPORT_TEST_PASS();  in test_seal_discard_ro_anon_on_shared()
1801 	REPORT_TEST_PASS();  in test_seal_discard_ro_anon()
1831 	REPORT_TEST_PASS();  in test_seal_discard_across_vmas()
1864 	REPORT_TEST_PASS();  in test_seal_madvise_nodiscard()