Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/gup.c __get_user_pages() -> get_gate_page()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->binfmt->module 0
PARAM_VALUE 0 mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 1 address 0,4096-18446744073709547520
PARAM_VALUE 3 vma 515131998690836480
PARAM_VALUE 3 *vma 0
PARAM_VALUE 4 page 0,6759961599834136576
BUF_SIZE 0 mm s32min-(-1),1-s32max
BUF_SIZE 0 mm s32min-(-1),1-s32max
BUF_SIZE 4 page 0,8
CAPPED_DATA 1 address 1
DATA_SOURCE 0 mm $0
DATA_SOURCE 2 gup_flags $3
BIT_INFO 1 address 0x0,0xfffffffffffff000
BIT_INFO 2 gup_flags 0x0,0xffbfffff
BIT_INFO 4 page 0x0,0x5dd035425d652000
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 address 0,4096-18446744073709547520[c]
USER_DATA 2 gup_flags 0-u32max
UNITS 0 mm unit_byte
HALF_LOCKED2 0 &mm->mmap_lock