Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_gem.c drm_gem_get_unmapped_area() -> drm_gem_object_lookup_at_offset()

Type Parameter Key Value
PARAM_VALUE 0 filp 0,4096-ptr_max
PARAM_VALUE 0 filp->f_op 4096-ptr_max
PARAM_VALUE 2 pages 0-4503599627370495
BUF_SIZE 0 filp (-1)-s32max
BUF_SIZE 0 filp (-1)-s32max
BUF_SIZE 0 filp->f_op (-1),272
BUF_SIZE 0 filp->private_data (-1),32
DATA_SOURCE 0 filp $0
DATA_SOURCE 1 start $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 filp->f_flags 0-18433,32770
USER_DATA 0 filp->f_mode 33554432,34078720-571342855[c]
USER_DATA 1 start 0-s32max[c]
USER_DATA 2 pages 0-524287[c]
NO_OVERFLOW_SIMPLE 0 filp->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 filp->f_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 1 start
UNITS 1 start unit_page
UNITS 2 pages unit_page

drivers/gpu/drm/drm_gem.c drm_gem_mmap() -> drm_gem_object_lookup_at_offset()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
PARAM_VALUE 2 pages 0-4503599627370495
BUF_SIZE 0 filp (-1)-s32max
BUF_SIZE 0 filp (-1)-s32max
BUF_SIZE 0 filp->private_data (-1),1216
CAPPED_DATA 0 filp 1
DATA_SOURCE 0 filp $0
NOSPEC 1 start
NOSPEC 1 start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 start 0-4503599627370495[c]
USER_DATA 2 pages 0-4503599627370495[c]
NO_OVERFLOW_SIMPLE 1 start
UNITS 1 start unit_page
HALF_LOCKED2 &ipcp->lock
HALF_LOCKED2 global &drm_unplug_srcu