Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_syncobj.c drm_syncobj_fd_to_handle_ioctl() -> drm_syncobj_fd_to_handle()

Type Parameter Key Value
PARAM_VALUE 0 file_private 4096-ptr_max
PARAM_VALUE 0 file_private->master_lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 file_private->minor 4096-ptr_max
PARAM_VALUE 0 file_private->minor->dev 4096-ptr_max
PARAM_VALUE 2 handle 4096-ptr_max
BUF_SIZE 0 file_private s32min-(-2),1-s32max
BUF_SIZE 0 file_private s32min-(-2),1-s32max
DATA_SOURCE 0 file_private $2
USER_DATA 1 fd s32min-s32max[u]
USER_DATA 2 *handle 0-u32max[u]
USER_PTR 2 handle