Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/userfaultfd.c userfaultfd_continue() -> validate_range()

Type Parameter Key Value
USER_DATA 1 index 0-u64max
USER_DATA 2 len 0-u64max
UNITS 0 em_tree unit_byte
UNITS 2 len unit_byte

mm/userfaultfd.c userfaultfd_copy() -> validate_range()

Type Parameter Key Value
PARAM_VALUE 0 em_tree 4096-ptr_max
PARAM_VALUE 0 em_tree->task_size 1-u64max
PARAM_VALUE 2 len 1-u64max
CAPPED_DATA 0 em_tree->task_size 1
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
USER_DATA 1 index 0-u64max
USER_DATA 2 len 1-u64max[c]
NO_OVERFLOW_SIMPLE 2 len
UNITS 0 em_tree unit_byte
UNITS 2 len unit_byte

mm/userfaultfd.c userfaultfd_move() -> validate_range()

Type Parameter Key Value
CAPPED_DATA 0 em_tree 1
USER_DATA 1 index 0-u64max
USER_DATA 2 len 0-u64max
UNITS 0 em_tree unit_byte
UNITS 2 len unit_byte

mm/userfaultfd.c userfaultfd_move() -> validate_range()

Type Parameter Key Value
PARAM_VALUE 0 em_tree->task_size 1-u64max
PARAM_VALUE 2 len 1-u64max
CAPPED_DATA 0 em_tree 1
CAPPED_DATA 0 em_tree->task_size 1
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
USER_DATA 1 index 0-u64max
USER_DATA 2 len 1-u64max[c]
NO_OVERFLOW_SIMPLE 2 len
UNITS 0 em_tree unit_byte
UNITS 2 len unit_byte

mm/userfaultfd.c userfaultfd_poison() -> validate_range()

Type Parameter Key Value
USER_DATA 1 index 0-u64max
USER_DATA 2 len 0-u64max
UNITS 0 em_tree unit_byte
UNITS 2 len unit_byte

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

Type Parameter Key Value
USER_DATA 1 index 0-u64max
USER_DATA 2 len 0-u64max
UNITS 0 em_tree unit_byte

mm/userfaultfd.c userfaultfd_rwprotect() -> validate_range()

Type Parameter Key Value
USER_DATA 1 index 0-u64max
USER_DATA 2 len 0-u64max
UNITS 0 em_tree unit_byte
UNITS 2 len unit_byte

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

Type Parameter Key Value
USER_DATA 1 index 0-u64max
USER_DATA 2 len 0-u64max
UNITS 0 em_tree unit_byte

mm/userfaultfd.c userfaultfd_wake() -> validate_range()

Type Parameter Key Value
USER_DATA 1 index 0-u64max
USER_DATA 2 len 0-u64max
UNITS 0 em_tree unit_byte

mm/userfaultfd.c userfaultfd_writeprotect() -> validate_range()

Type Parameter Key Value
USER_DATA 1 index 0-u64max
USER_DATA 2 len 0-u64max
UNITS 0 em_tree unit_byte
UNITS 2 len unit_byte

mm/userfaultfd.c userfaultfd_zeropage() -> validate_range()

Type Parameter Key Value
USER_DATA 1 index 0-u64max
USER_DATA 2 len 0-u64max
UNITS 0 em_tree unit_byte
UNITS 2 len unit_byte

fs/btrfs/tests/extent-map-tests.c test_case_5() -> validate_range()

Type Parameter Key Value
PARAM_VALUE 0 em_tree 4096-ptr_max
PARAM_VALUE 0 em_tree->lock.owner (-1)
PARAM_VALUE 0 em_tree->lock.owner_cpu u32max
PARAM_VALUE 0 em_tree->root.rb_node 4096-ptr_max
PARAM_VALUE 1 index 0

fs/btrfs/tests/extent-map-tests.c test_case_5() -> validate_range()

Type Parameter Key Value
PARAM_VALUE 0 em_tree 4096-ptr_max
PARAM_VALUE 0 em_tree->lock.owner (-1)
PARAM_VALUE 0 em_tree->lock.owner_cpu u32max
PARAM_VALUE 0 em_tree->root.rb_node 4096-ptr_max
PARAM_VALUE 1 index 1

fs/btrfs/tests/extent-map-tests.c test_case_5() -> validate_range()

Type Parameter Key Value
PARAM_VALUE 0 em_tree 4096-ptr_max
PARAM_VALUE 0 em_tree->lock.owner (-1)
PARAM_VALUE 0 em_tree->lock.owner_cpu u32max
PARAM_VALUE 0 em_tree->root.rb_node 4096-ptr_max
PARAM_VALUE 1 index 2

fs/btrfs/tests/extent-map-tests.c test_case_5() -> validate_range()

Type Parameter Key Value
PARAM_VALUE 0 em_tree 4096-ptr_max
PARAM_VALUE 0 em_tree->lock.owner (-1)
PARAM_VALUE 0 em_tree->lock.owner_cpu u32max
PARAM_VALUE 0 em_tree->root.rb_node 4096-ptr_max
PARAM_VALUE 1 index 3