Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_vblank.c drm_crtc_vblank_on_config() -> drm_vblank_enable()

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->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
CAPPED_DATA 0 dev->num_crtcs 1
CAPPED_DATA 1 pipe 1
PARAM_COMPARE 0 dev->num_crtcs > $1
PARAM_COMPARE 1 pipe < $0->num_crtcs
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
UNITS 1 pipe unit_array_size
LOCK2 irq
LOCK2 0 &dev->vbl_lock
TYPE_LOCK (struct drm_device)->vbl_lock

drivers/gpu/drm/drm_vblank.c drm_vblank_get() -> drm_vblank_enable()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 dev->mode_config.funcs->atomic_commit 0,1709437739929436160,3385958169767186432,9025212985888776192
PARAM_VALUE 0 dev->num_crtcs 1-u32max
PARAM_VALUE 1 pipe 0-4294967294
CAPPED_DATA 0 dev->num_crtcs 1
CAPPED_DATA 1 pipe 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 pipe $1
PARAM_COMPARE 0 dev->num_crtcs > $1
PARAM_COMPARE 1 pipe < $0->num_crtcs
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pipe 1-31[c]
UNITS 0 dev unit_byte
UNITS 1 pipe unit_array_size
LOCK2 irqflags
LOCK2 0 &dev->vbl_lock
HALF_LOCKED2 irqflags
HALF_LOCKED2 0 &dev->event_lock
TYPE_LOCK (struct drm_device)->vbl_lock