Documented in 1 files:

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() -> drm_syncobj_get()

Type Parameter Key Value
BUF_SIZE 0 obj s32min-(-2),1-s32max
BUF_SIZE 0 obj s32min-(-2),1-s32max
NOCHECK_CALL

drivers/gpu/drm/drm_syncobj.c drm_syncobj_find() -> drm_syncobj_get()

Type Parameter Key Value
PARAM_VALUE 0 obj 1-1025,1027-1029,1031-u64max
DATA_SOURCE 0 obj r xa_load
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&file_private->syncobj_xa)->xa_lock
HALF_LOCKED2 &fpriv->lock
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 global &drm_unplug_srcu

drivers/gpu/drm/drm_syncobj.c drm_syncobj_get_fd() -> drm_syncobj_get()

Type Parameter Key Value
DATA_SOURCE 0 obj $0
NOCHECK_CALL

drivers/gpu/drm/drm_syncobj.c drm_syncobj_get_handle() -> drm_syncobj_get()

Type Parameter Key Value
DATA_SOURCE 0 obj $1
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &drm_unplug_srcu