Defined in 1 files as a function:
Referenced in 13 files:
- drivers/accel/amdxdna/amdxdna_gem.c, line 543
- drivers/android/binder.c, line 6059
- drivers/android/tests/binder_alloc_kunit.c, line 483
- drivers/gpu/drm/drm_gem_dma_helper.c, line 540
- drivers/gpu/drm/rockchip/rockchip_drm_gem.c, line 256
- drivers/gpu/drm/tegra/gem.c, line 607
- drivers/gpu/drm/xe/xe_oa.c, line 1731
- drivers/gpu/drm/xen/xen_drm_front_gem.c, line 73
- drivers/usb/mon/mon_bin.c, line 1284
- fs/proc/vmcore.c, line 606
- kernel/bpf/sysfs_btf.c, line 42
- kernel/trace/ring_buffer.c, line 7641
- sound/core/pcm_native.c, line 3790
Smatch caller information:
drivers/gpu/drm/tegra/gem.c __tegra_gem_mmap() -> vm_flags_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | set | 268435456 |
| PARAM_VALUE | 2 | clear | 1024 |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_file | (-1)-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| HALF_LOCKED2 | &info->mm_lock |
drivers/accel/amdxdna/amdxdna_gem.c amdxdna_gem_dmabuf_mmap() -> vm_flags_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 0,6092607822832676864 |
| PARAM_VALUE | 0 | vma->vm_private_data | 0,4096-ptr_max |
| PARAM_VALUE | 1 | set | 268435456 |
| PARAM_VALUE | 2 | clear | 1024 |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_file | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_ops | (-1),144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),16,24,40,48,56,72,80,112,120,136,168,184,224 |
| DATA_SOURCE | 0 | vma | $1 |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff |
drivers/android/tests/binder_alloc_kunit.c binder_alloc_test_mmap_handler() -> vm_flags_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | set | 268566528 |
| PARAM_VALUE | 2 | clear | 32 |
| BUF_SIZE | 0 | vma | (-1)-s32max |
| BUF_SIZE | 0 | vma | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_file | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| HALF_LOCKED2 | &ipcp->lock |
drivers/android/binder.c binder_mmap() -> vm_flags_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | set | 268566528 |
| PARAM_VALUE | 2 | clear | 32 |
| BUF_SIZE | 0 | vma | (-1)-s32max |
| BUF_SIZE | 0 | vma | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_file | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| BIT_INFO | 0 | vma->vm_flags | 0x0,0xfffffffffffffffd |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| HALF_LOCKED2 | &ipcp->lock |
drivers/gpu/drm/drm_gem_dma_helper.c drm_gem_dma_mmap() -> vm_flags_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | set | 67371008 |
| PARAM_VALUE | 2 | clear | 1024 |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_file | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| HALF_LOCKED2 | &info->mm_lock |
drivers/usb/mon/mon_bin.c mon_bin_mmap() -> vm_flags_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 2685286043186118656 |
| PARAM_VALUE | 1 | set | 67371008 |
| PARAM_VALUE | 2 | clear | 32 |
| BUF_SIZE | 0 | vma | (-1)-s32max |
| BUF_SIZE | 0 | vma | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_file | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_ops | 144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| BIT_INFO | 0 | vma->vm_flags | 0x0,0xfffffffffffffffd |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| HALF_LOCKED2 | &ipcp->lock |
drivers/gpu/drm/xe/xe_oa.c xe_oa_mmap() -> vm_flags_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | set | 67503104 |
| PARAM_VALUE | 2 | clear | 96 |
| BUF_SIZE | 0 | vma | (-1)-s32max |
| BUF_SIZE | 0 | vma | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_file | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| BIT_INFO | 0 | vma->vm_flags | 0x0,0xffffffffffffff71 |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| HALF_LOCKED2 | &ipcp->lock |
fs/proc/vmcore.c mmap_vmcore() -> vm_flags_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | set | 268435456 |
| PARAM_VALUE | 2 | clear | 96 |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_file | (-1)-0,4,24,64,168-s32max |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| BIT_INFO | 0 | vma->vm_flags | 0x0,0xfffffffffffffff9 |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| HALF_LOCKED2 | &ipcp->lock |
sound/core/pcm_native.c snd_pcm_mmap_status() -> vm_flags_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 3109444539215491072 |
| PARAM_VALUE | 0 | vma->vm_private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | set | 67371008 |
| PARAM_VALUE | 2 | clear | 34 |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_file | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_ops | 144 |
| DATA_SOURCE | 0 | vma | $2 |
| BIT_INFO | 0 | vma->vm_flags | 0x1,0xffffffffffffffff |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| HALF_LOCKED2 | &ipcp->lock |
drivers/gpu/drm/xen/xen_drm_front_gem.c xen_drm_front_gem_object_mmap() -> vm_flags_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | set | 268697600 |
| PARAM_VALUE | 2 | clear | 1024 |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_file | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| HALF_LOCKED2 | &info->mm_lock |
kernel/trace/ring_buffer.c __rb_map_vma() -> vm_flags_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | set | 67502080 |
| PARAM_VALUE | 2 | clear | 32 |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_file | (-1)-0,4,24,64,168-s32max |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| BIT_INFO | 0 | vma->vm_flags | 0x80,0xfffffffffffffff9 |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &ipcp->lock |
drivers/gpu/drm/rockchip/rockchip_drm_gem.c rockchip_drm_gem_object_mmap() -> vm_flags_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_pgoff | 0 |
| PARAM_VALUE | 1 | set | 67387392 |
| PARAM_VALUE | 2 | clear | 1024 |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_file | (-1)-s32max |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| HALF_LOCKED2 | &info->mm_lock |