Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_vkms.c vmw_vkms_get_crc_sources() -> is_crc_supported()

Type Parameter Key Value
PARAM_VALUE 0 crtc 4096-ptr_max
BUF_SIZE 0 crtc s32min-(-2),1-s32max
BUF_SIZE 0 crtc s32min-(-2),1-s32max
DATA_SOURCE 0 crtc $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

drivers/gpu/drm/vmwgfx/vmwgfx_vkms.c vmw_vkms_set_crc_source() -> is_crc_supported()

Type Parameter Key Value
PARAM_VALUE 0 crtc 4096-ptr_max
BUF_SIZE 0 crtc s32min-(-2),1-s32max
BUF_SIZE 0 crtc s32min-(-2),1-s32max
DATA_SOURCE 0 crtc $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &crtc->mutex

drivers/gpu/drm/vmwgfx/vmwgfx_vkms.c vmw_vkms_verify_crc_source() -> is_crc_supported()

Type Parameter Key Value
PARAM_VALUE 0 crtc 4096-ptr_max
BUF_SIZE 0 crtc s32min-(-2),1-s32max
BUF_SIZE 0 crtc s32min-(-2),1-s32max
DATA_SOURCE 0 crtc $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &m->lock
HALF_LOCKED2 0 &crtc->mutex