Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_vblank.c drm_update_vblank_count() -> drm_max_vblank_count()

Type Parameter Key Value
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 pipe $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pipe 1-31[c]
UNITS 0 dev unit_byte
UNITS 1 pipe unit_array_size
LOCK2 0 &dev->vblank_time_lock
HALF_LOCKED2 irqflags
HALF_LOCKED2 0 &dev->event_lock
HALF_LOCKED2 0 &dev->vbl_lock
TYPE_LOCK (struct drm_device)->vblank_time_lock

drivers/gpu/drm/drm_vblank.c drm_vblank_no_hw_counter() -> drm_max_vblank_count()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 pipe $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pipe 1-31[c]
UNITS 0 dev unit_byte
UNITS 1 pipe unit_array_size
HALF_LOCKED2 &dev->vbl_lock
HALF_LOCKED2 &dev->vblank_time_lock
HALF_LOCKED2 irq
HALF_LOCKED2 0 &dev->event_lock
HALF_LOCKED2 0 &dev->vbl_lock
HALF_LOCKED2 0 &dev->vblank_time_lock
TYPE_LOCK (struct drm_device)->vblank_time_lock

drivers/gpu/drm/drm_vblank.c drm_vblank_restore() -> drm_max_vblank_count()

Type Parameter Key Value
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 pipe $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
UNITS 1 pipe unit_array_size
LOCK2 &dev->vbl_lock
LOCK2 &dev->vblank_time_lock
HALF_LOCKED2 &dev->event_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct drm_device)->vbl_lock
TYPE_LOCK (struct drm_device)->vblank_time_lock