Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/hv/vmbus_drv.c hv_mmap_ring_buffer_wrapper() -> compat_set_desc_from_vma()

Type Parameter Key Value
PARAM_VALUE 0 desc 1325290474384461824
PARAM_VALUE 2 vma->vm_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 2 vma->vm_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 vma->vm_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 2 vma->vm_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 2 vma->vm_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 2 vma->vm_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 vma->vm_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 2 vma->vm_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
BUF_SIZE 2 vma (-1),1-s32max
BUF_SIZE 2 vma (-1),1-s32max
BUF_SIZE 2 vma->vm_file (-1)-0,4,24,64,168-s32max
BUF_SIZE 2 vma->vm_private_data (-1),1-s32max
DATA_SOURCE 1 file $0
DATA_SOURCE 2 vma $3
NOSPEC 2 vma->vm_pgoff
NOSPEC 2 vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 vma->vm_end 4096-u64max[c]
USER_DATA 2 vma->vm_pgoff 0-4503599627370495[c]
USER_DATA 2 vma->vm_start 0-18446744073709547520
NO_OVERFLOW_SIMPLE 2 vma->vm_pgoff
LOCK2 &of->mutex
HALF_LOCKED2 &ipcp->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/uio/uio.c uio_mmap() -> compat_set_desc_from_vma()

Type Parameter Key Value
PARAM_VALUE 0 desc 8873968902582775808
PARAM_VALUE 1 file 4096-ptr_max
PARAM_VALUE 1 file->private_data 4096-ptr_max
PARAM_VALUE 2 vma 4096-ptr_max
PARAM_VALUE 2 vma->vm_pgoff 0-4
PARAM_VALUE 2 vma->vm_private_data 4096-ptr_max
BUF_SIZE 1 file (-1),4,24,64,168-s32max
BUF_SIZE 1 file (-1),4,24,64,168-s32max
BUF_SIZE 1 file->private_data (-1),1216
BUF_SIZE 2 vma (-1)-s32max
BUF_SIZE 2 vma (-1)-s32max
BUF_SIZE 2 vma->vm_file (-1)-s32max
CAPPED_DATA 1 file 1
CAPPED_DATA 2 vma->vm_start 1
DATA_SOURCE 1 file $0
DATA_SOURCE 2 vma $1
PARAM_COMPARE 2 vma->vm_end >= $2->vm_start
NOSPEC 2 vma->vm_pgoff
NOSPEC 2 vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 vma->vm_end 4096-u64max[c]
USER_DATA 2 vma->vm_pgoff 0-4[c]
USER_DATA 2 vma->vm_start 0-18446744073709547520
NO_OVERFLOW_SIMPLE 2 vma->vm_pgoff
LOCK2 &idev->info_lock
HALF_LOCKED2 &ipcp->lock
TYPE_LOCK (struct uio_device)->info_lock

mm/util.c compat_vma_mmap() -> compat_set_desc_from_vma()

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920
PARAM_VALUE 1 file 4096-ptr_max
PARAM_VALUE 1 file->f_op 4096-ptr_max
PARAM_VALUE 1 file->f_op->mmap_prepare 1-u64max
BUF_SIZE 1 file (-1),4,24,64,168-s32max
BUF_SIZE 1 file (-1),4,24,64,168-s32max
BUF_SIZE 2 vma (-1)-s32max
BUF_SIZE 2 vma (-1)-s32max
BUF_SIZE 2 vma->vm_file (-1)-s32max
BUF_SIZE 2 vma->vm_private_data (-1),1-s32max
CAPPED_DATA 1 file 1
DATA_SOURCE 1 file $0
DATA_SOURCE 2 vma $1
NOSPEC 2 vma->vm_pgoff
NOSPEC 2 vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 vma->vm_end 4096-u64max[c]
USER_DATA 2 vma->vm_pgoff 0-4503599627370495[c]
USER_DATA 2 vma->vm_start 0-18446744073709547520
NO_OVERFLOW_SIMPLE 2 vma->vm_pgoff
HALF_LOCKED2 &ipcp->lock