Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_vblank.c drm_wait_vblank_ioctl() -> drm_queue_vblank_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver 4096-ptr_max
PARAM_VALUE 0 dev->num_crtcs 1-u32max
PARAM_VALUE 0 dev->unplugged 0
PARAM_VALUE 0 dev->vbl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->vblank_time_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pipe 0-4294967294
PARAM_VALUE 3 vblwait 4096-ptr_max
PARAM_VALUE 3 vblwait->request.type 0-2147483646
PARAM_VALUE 4 file_priv 4096-ptr_max
PARAM_VALUE 4 file_priv->master_lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 file_priv->minor 4096-ptr_max
PARAM_VALUE 4 file_priv->minor->dev 4096-ptr_max
BUF_SIZE 3 vblwait 128-16383
BUF_SIZE 3 vblwait 128-16383
BUF_SIZE 4 file_priv s32min-(-2),1-s32max
BUF_SIZE 4 file_priv s32min-(-2),1-s32max
CAPPED_DATA 0 dev->num_crtcs 1
CAPPED_DATA 1 pipe 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 3 vblwait $1
DATA_SOURCE 4 file_priv $2
PARAM_COMPARE 0 dev->num_crtcs > $1
PARAM_COMPARE 1 pipe < $0->num_crtcs
BIT_INFO 3 vblwait->request.type 0x0,0x3400003f
NOSPEC 1 pipe
NOSPEC 1 pipe
USER_DATA 1 pipe 1-31[c]
USER_DATA 3 vblwait->reply.sequence 0-u32max[u]
USER_DATA 3 vblwait->reply.tval_sec s64min-s64max[u]
USER_DATA 3 vblwait->reply.tval_usec s64min-s64max[u]
USER_DATA 3 vblwait->reply.type 0-u32max[u]
USER_DATA 3 vblwait->request.sequence 0-u32max[u]
USER_DATA 3 vblwait->request.signal 0-u64max[u]
USER_DATA 3 vblwait->request.type 0-2147483646[u]
UNITS 0 dev unit_byte
UNITS 1 pipe unit_array_size
USER_PTR 3 vblwait