Defined in 2 files as a function:

Referenced in 7 files:

Smatch caller information:

mm/mmap.c __do_sys_brk() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5394055068851789824
PARAM_VALUE 0 vmi->mas.depth 0
PARAM_VALUE 0 vmi->mas.end 0
PARAM_VALUE 0 vmi->mas.index 0,4096-u64max
PARAM_VALUE 0 vmi->mas.last 0,4096-u64max
PARAM_VALUE 0 vmi->mas.ld_seq 0
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.max u64max
PARAM_VALUE 0 vmi->mas.min 0
PARAM_VALUE 0 vmi->mas.node 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.offset 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 1
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 0,4096-u64max
BIT_INFO 1 max 0x0,0xfffffffffffff000
BIT_INFO 1 max 0x0,0xfffffffffffff000
USER_DATA 0 vmi->mas.last 0,4096-u64max[c]
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mmap.c __do_sys_brk() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5394055068851789824
PARAM_VALUE 0 vmi->mas.depth 0
PARAM_VALUE 0 vmi->mas.end 0
PARAM_VALUE 0 vmi->mas.index 0,4096-u64max
PARAM_VALUE 0 vmi->mas.last 0,4096-u64max
PARAM_VALUE 0 vmi->mas.ld_seq 0
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.max u64max
PARAM_VALUE 0 vmi->mas.min 0
PARAM_VALUE 0 vmi->mas.node 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.offset 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 1
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 4096
USER_DATA 1 max 4096[c]
UNITS 1 max unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mmap.c __do_sys_brk() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5394055068851789824
PARAM_VALUE 0 vmi->mas.depth 0
PARAM_VALUE 0 vmi->mas.end 0
PARAM_VALUE 0 vmi->mas.index 0,4096-u64max
PARAM_VALUE 0 vmi->mas.last 0,4096-u64max
PARAM_VALUE 0 vmi->mas.ld_seq 0
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.max u64max
PARAM_VALUE 0 vmi->mas.min 0
PARAM_VALUE 0 vmi->mas.node 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.offset 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 1
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 0,4096-u64max
BIT_INFO 1 max 0x0,0xfffffffffffff000
BIT_INFO 1 max 0x0,0xfffffffffffff000
USER_DATA 0 vmi->mas.last 0,4096-u64max[c]
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mmap.c __do_sys_brk() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5394055068851789824
PARAM_VALUE 0 vmi->mas.depth 0
PARAM_VALUE 0 vmi->mas.end 0
PARAM_VALUE 0 vmi->mas.index 0,4096-u64max
PARAM_VALUE 0 vmi->mas.last 0,4096-u64max
PARAM_VALUE 0 vmi->mas.ld_seq 0
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.max u64max
PARAM_VALUE 0 vmi->mas.min 0
PARAM_VALUE 0 vmi->mas.node 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.offset 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 1
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 4096
USER_DATA 1 max 4096[c]
UNITS 1 max unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mmap.c __do_sys_remap_file_pages() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 8110081019783286784
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0-3
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 4096-u64max
UNITS 1 max unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mmap.c __do_sys_remap_file_pages() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 8110081019783286784
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 4096-u64max
UNITS 1 max unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mmap.c __do_sys_remap_file_pages() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 8110081019783286784
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0-3
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 4096-u64max
UNITS 1 max unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mmap.c __do_sys_remap_file_pages() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 8110081019783286784
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 4096-u64max
UNITS 1 max unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c mrwprotect_range() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5766468818838921216
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0-3
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
USER_DATA 0 vmi->mas.index 0-18446744073709551614[c]
USER_DATA 0 vmi->mas.last 0-u64max
NO_OVERFLOW_SIMPLE 0 vmi->mas.index
UNITS 1 max unit_byte
LOCK2 &dst_mm->mmap_lock
LOCK2 _T->lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c mrwprotect_range() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5766468818838921216
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
USER_DATA 0 vmi->mas.index 0-18446744073709551614[c]
USER_DATA 0 vmi->mas.last 0-u64max
NO_OVERFLOW_SIMPLE 0 vmi->mas.index
UNITS 1 max unit_byte
LOCK2 &dst_mm->mmap_lock
LOCK2 _T->lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c mrwprotect_range() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5766468818838921216
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0-3
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
NOSPEC 0 vmi->mas.index
NOSPEC 0 vmi->mas.last
USER_DATA 0 vmi->mas.index 0-18446744073709551614[c]
USER_DATA 0 vmi->mas.last 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 vmi->mas.index
NO_OVERFLOW_SIMPLE 0 vmi->mas.last
UNITS 1 max unit_byte
LOCK2 &dst_mm->mmap_lock
LOCK2 _T->lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c mrwprotect_range() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5766468818838921216
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
NOSPEC 0 vmi->mas.index
NOSPEC 0 vmi->mas.last
USER_DATA 0 vmi->mas.index 0-18446744073709551614[c]
USER_DATA 0 vmi->mas.last 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 vmi->mas.index
NO_OVERFLOW_SIMPLE 0 vmi->mas.last
UNITS 1 max unit_byte
LOCK2 &dst_mm->mmap_lock
LOCK2 _T->lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c mwriteprotect_range() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 4457872353294942208
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0-3
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
USER_DATA 0 vmi->mas.index 0-18446744073709551614[c]
USER_DATA 0 vmi->mas.last 0-u64max
NO_OVERFLOW_SIMPLE 0 vmi->mas.index
UNITS 1 max unit_byte
LOCK2 &ctx->map_changing_lock
LOCK2 &dst_mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock
TYPE_LOCK (struct userfaultfd_ctx)->map_changing_lock

mm/userfaultfd.c mwriteprotect_range() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 4457872353294942208
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
USER_DATA 0 vmi->mas.index 0-18446744073709551614[c]
USER_DATA 0 vmi->mas.last 0-u64max
NO_OVERFLOW_SIMPLE 0 vmi->mas.index
UNITS 1 max unit_byte
LOCK2 &ctx->map_changing_lock
LOCK2 &dst_mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock
TYPE_LOCK (struct userfaultfd_ctx)->map_changing_lock

mm/userfaultfd.c userfaultfd_register() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 7310982813862457344
PARAM_VALUE 0 vmi->mas.depth 0
PARAM_VALUE 0 vmi->mas.end 0
PARAM_VALUE 0 vmi->mas.index 0-18446744073709551614
PARAM_VALUE 0 vmi->mas.last 0-18446744073709551614
PARAM_VALUE 0 vmi->mas.ld_seq 0
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.max u64max
PARAM_VALUE 0 vmi->mas.min 0
PARAM_VALUE 0 vmi->mas.node 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.offset 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 1
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
NOSPEC 0 vmi->mas.last
USER_DATA 0 vmi->mas.last 0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 0 vmi->mas.last
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c userfaultfd_register() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 7310982813862457344
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
NOSPEC 0 vmi->mas.last
USER_DATA 0 vmi->mas.last 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 vmi->mas.last
UNITS 1 max unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c userfaultfd_register_range() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5364049127059881984
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3,6,8-u32max
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
DATA_SOURCE 1 max $4
NOSPEC 0 vmi->mas.index
USER_DATA 0 vmi->mas.index 0-18446744073709551614
USER_DATA 0 vmi->mas.last 0-u64max
NO_OVERFLOW_SIMPLE 0 vmi->mas.index
UNITS 1 max unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c userfaultfd_register_range() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5364049127059881984
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
DATA_SOURCE 1 max $4
NOSPEC 0 vmi->mas.index
USER_DATA 0 vmi->mas.index 0-18446744073709551614
USER_DATA 0 vmi->mas.last 0-u64max
NO_OVERFLOW_SIMPLE 0 vmi->mas.index
UNITS 1 max unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c userfaultfd_unregister() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 1467127174713044992
PARAM_VALUE 0 vmi->mas.depth 0
PARAM_VALUE 0 vmi->mas.end 0
PARAM_VALUE 0 vmi->mas.index 0-18446744073709551614
PARAM_VALUE 0 vmi->mas.last 0-18446744073709551614
PARAM_VALUE 0 vmi->mas.ld_seq 0
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.max u64max
PARAM_VALUE 0 vmi->mas.min 0
PARAM_VALUE 0 vmi->mas.node 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.offset 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 1
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
NOSPEC 0 vmi->mas.last
USER_DATA 0 vmi->mas.last 0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 0 vmi->mas.last
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c userfaultfd_unregister() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 1467127174713044992
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
NOSPEC 0 vmi->mas.last
USER_DATA 0 vmi->mas.last 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 vmi->mas.last
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c userfaultfd_unregister() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 1467127174713044992
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3,6,8-u32max
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
NOSPEC 0 vmi->mas.index
NOSPEC 0 vmi->mas.last
USER_DATA 0 vmi->mas.index 0-18446744073709551614
USER_DATA 0 vmi->mas.last 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 vmi->mas.index
NO_OVERFLOW_SIMPLE 0 vmi->mas.last
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c userfaultfd_unregister() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 1467127174713044992
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
NOSPEC 0 vmi->mas.index
NOSPEC 0 vmi->mas.last
USER_DATA 0 vmi->mas.index 0-18446744073709551614
USER_DATA 0 vmi->mas.last 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 vmi->mas.index
NO_OVERFLOW_SIMPLE 0 vmi->mas.last
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mseal.c __mseal_range() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 2883308150567555072
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3,6,8-u32max
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
DATA_SOURCE 1 max $1
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 max 0-u64max[c]
UNITS 1 max unit_byte

mm/mseal.c __mseal_range() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 2883308150567555072
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
DATA_SOURCE 1 max $1
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 max 0-u64max[c]
UNITS 1 max unit_byte

mm/mseal.c range_contains_unmapped() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 1155538836773543936
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0-3
PARAM_VALUE 0 vmi->mas.store_type 0
DATA_SOURCE 1 max $1
USER_DATA 0 vmi->mas.index 0-u64max[c]
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 max 0-u64max
UNITS 1 max unit_byte

mm/mseal.c range_contains_unmapped() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 1155538836773543936
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
DATA_SOURCE 1 max $1
USER_DATA 0 vmi->mas.index 0-u64max[c]
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 max 0-u64max
UNITS 1 max unit_byte

mm/mprotect.c do_mprotect_pkey() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 6391229382859632640
PARAM_VALUE 0 vmi->mas.depth 0
PARAM_VALUE 0 vmi->mas.end 0
PARAM_VALUE 0 vmi->mas.index 0-18446744073709551614
PARAM_VALUE 0 vmi->mas.last 0-18446744073709551614
PARAM_VALUE 0 vmi->mas.ld_seq 0
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.max u64max
PARAM_VALUE 0 vmi->mas.min 0
PARAM_VALUE 0 vmi->mas.node 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.offset 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 1
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 1-u64max
NOSPEC 0 vmi->mas.last
USER_DATA 0 vmi->mas.last 0-18446744073709551614[c]
USER_DATA 1 max 1-u64max

mm/mprotect.c do_mprotect_pkey() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 6391229382859632640
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3,6,8-u32max
PARAM_VALUE 0 vmi->mas.store_type 0
NOSPEC 0 vmi->mas.last
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 0 vmi->mas.last 0-18446744073709551614
USER_DATA 1 max 1-u64max
UNITS 1 max unit_byte

mm/mprotect.c do_mprotect_pkey() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 6391229382859632640
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
NOSPEC 0 vmi->mas.last
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 0 vmi->mas.last 0-18446744073709551614
USER_DATA 1 max 1-u64max
UNITS 1 max unit_byte

mm/mremap.c remap_move() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 2313242306435420160
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0-4
PARAM_VALUE 0 vmi->mas.store_type 0
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 0 vmi->mas.last 0-u64max
UNITS 1 max unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mremap.c remap_move() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 2313242306435420160
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-4
PARAM_VALUE 0 vmi->mas.store_type 0
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 0 vmi->mas.last 0-u64max
UNITS 1 max unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/vma.c __mmap_setup() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 7342498018941853696
UNITS 1 max unit_byte

mm/vma.c do_vmi_munmap() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 1022776648951132160,4907233300821278720,5831082256766734336,7107899751205675008,7547875335579738112
PARAM_VALUE 0 vmi->mas.alloc 0
PARAM_VALUE 0 vmi->mas.depth 0
PARAM_VALUE 0 vmi->mas.end 0
PARAM_VALUE 0 vmi->mas.last 0
PARAM_VALUE 0 vmi->mas.ld_seq 0
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.max 0
PARAM_VALUE 0 vmi->mas.min 0
PARAM_VALUE 0 vmi->mas.node 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.offset 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 1
PARAM_VALUE 0 vmi->mas.store_type 0
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
DATA_SOURCE 0 vmi $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 1 max 0-u32max[c]
UNITS 1 max unit_byte
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock

mm/vma.c vms_gather_munmap_vmas() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 max 0-u32max[c]
UNITS 1 max unit_byte

mm/vma.c vms_gather_munmap_vmas() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 max 0-u32max[c]
UNITS 1 max unit_byte

mm/vma.c vms_gather_munmap_vmas() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 max 0-u32max[c]
UNITS 1 max unit_byte
LOCK2 rcu_read

mm/vma.c vms_gather_munmap_vmas() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 max 0-u32max[c]
UNITS 1 max unit_byte
LOCK2 rcu_read

drivers/gpu/drm/i915/gem/i915_gem_userptr.c probe_range() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 3618922780574986240
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0-3
PARAM_VALUE 0 vmi->mas.store_type 0
USER_DATA 0 vmi->mas.index 0-u64max[c]
USER_DATA 0 vmi->mas.last 0-u64max
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

drivers/gpu/drm/i915/gem/i915_gem_userptr.c probe_range() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 3618922780574986240
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
USER_DATA 0 vmi->mas.index 0-u64max[c]
USER_DATA 0 vmi->mas.last 0-u64max
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mempolicy.c __do_sys_set_mempolicy_home_node() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 676890446660313088
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3,6,8-u32max
PARAM_VALUE 0 vmi->mas.store_type 0
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 max 0-u64max
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mempolicy.c __do_sys_set_mempolicy_home_node() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 676890446660313088
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 max 0-u64max
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mempolicy.c __do_sys_set_mempolicy_home_node() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 676890446660313088
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3,6,8-u32max
PARAM_VALUE 0 vmi->mas.store_type 0
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 max 0-u64max
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mempolicy.c __do_sys_set_mempolicy_home_node() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 676890446660313088
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 max 0-u64max
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mempolicy.c do_mbind() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 6390261669419782144
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3,6,8-u32max
PARAM_VALUE 0 vmi->mas.store_type 0
USER_DATA 1 max 0-u64max
NO_OVERFLOW_SIMPLE 0 vmi->mas.last
HALF_LOCKED2 &mm->mmap_lock

mm/mempolicy.c do_mbind() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 6390261669419782144
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
USER_DATA 1 max 0-u64max
NO_OVERFLOW_SIMPLE 0 vmi->mas.last
HALF_LOCKED2 &mm->mmap_lock

mm/mempolicy.c do_mbind() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 6390261669419782144
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0-3
PARAM_VALUE 0 vmi->mas.store_type 0
USER_DATA 1 max 0-u64max
NO_OVERFLOW_SIMPLE 0 vmi->mas.last
HALF_LOCKED2 &mm->mmap_lock

mm/mempolicy.c do_mbind() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 6390261669419782144
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
USER_DATA 1 max 0-u64max
NO_OVERFLOW_SIMPLE 0 vmi->mas.last
HALF_LOCKED2 &mm->mmap_lock

mm/mlock.c apply_vma_lock_flags() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5802402509652905984
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3,6,8-u32max
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 0,4096-u64max
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
USER_DATA 0 vmi->mas.index 0,4096-u64max
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 max 0,4096-u64max[c]
UNITS 1 max unit_byte

mm/mlock.c apply_vma_lock_flags() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5802402509652905984
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 0,4096-u64max
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
USER_DATA 0 vmi->mas.index 0,4096-u64max
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 max 0,4096-u64max[c]
UNITS 1 max unit_byte

mm/mlock.c count_mm_mlocked_page_nr() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 750056145466404864
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0-3
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 0,4096-u64max
CAPABLE 0 14
USER_DATA 0 vmi->mas.index 0,4096-u64max[c]
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 max 0,4096-u64max[c]
UNITS 1 max unit_byte

mm/mlock.c count_mm_mlocked_page_nr() -> vma_find()

Type Parameter Key Value
PARAM_VALUE 0 vmi 750056145466404864
PARAM_VALUE 0 vmi->mas.mas_flags 0
PARAM_VALUE 0 vmi->mas.node_request 0
PARAM_VALUE 0 vmi->mas.sheaf 0
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 0 vmi->mas.store_type 0
PARAM_VALUE 1 max 0,4096-u64max
CAPABLE 0 14
USER_DATA 0 vmi->mas.index 0,4096-u64max[c]
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 max 0,4096-u64max[c]
UNITS 1 max unit_byte