Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/msm/msm_rd.c msm_rd_dump_submit() -> rd_write_section()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 0 rd->open 1
PARAM_VALUE 0 rd->write_lock.dep_map->name 0-255
PARAM_VALUE 0 rd->write_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 rd->write_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rd->write_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rd->write_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 rd->write_lock.wait_lock.owner (-1)
PARAM_VALUE 0 rd->write_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 type 2
PARAM_VALUE 2 buf 3339404052083945472
BUF_SIZE 2 buf 256
CAPPED_DATA 0 &rd->write_lock 1
CAPPED_DATA 3 sz 1
DATA_SOURCE 0 rd $0
STR_LEN 0 rd 23
STR_LEN 0 rd 23
BIT_INFO 3 sz 0x0,0xfffffffc
NOCHECK_CALL
LOCK2 &gpu->lock
LOCK2 0 &rd->write_lock
TYPE_LOCK (struct msm_gpu)->lock
TYPE_LOCK (struct msm_rd_state)->write_lock

drivers/gpu/drm/msm/msm_rd.c msm_rd_dump_submit() -> rd_write_section()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 0 rd->open 1
PARAM_VALUE 0 rd->write_lock.dep_map->name 0-255
PARAM_VALUE 0 rd->write_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 rd->write_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rd->write_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rd->write_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 rd->write_lock.wait_lock.owner (-1)
PARAM_VALUE 0 rd->write_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 type 2
PARAM_VALUE 2 buf 3339404052083945472
PARAM_VALUE 3 sz 0,4-256
BUF_SIZE 2 buf 256
CAPPED_DATA 0 &rd->write_lock 1
CAPPED_DATA 3 sz 1
DATA_SOURCE 0 rd $0
STR_LEN 0 rd (-1),23
STR_LEN 0 rd (-1),23
BIT_INFO 3 sz 0x0,0x1fc
NOCHECK_CALL
LOCK2 0 &rd->write_lock
HALF_LOCKED2 &gpu->lock
HALF_LOCKED2 &queue->lock
TYPE_LOCK (struct msm_rd_state)->write_lock

drivers/gpu/drm/msm/msm_rd.c msm_rd_dump_submit() -> rd_write_section()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 0 rd->fifo.head 0-511
PARAM_VALUE 0 rd->open 1
PARAM_VALUE 0 rd->write_lock.dep_map->name 0-255
PARAM_VALUE 0 rd->write_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 rd->write_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rd->write_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rd->write_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 rd->write_lock.wait_lock.owner (-1)
PARAM_VALUE 0 rd->write_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 type 6
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 3 sz 12
CAPPED_DATA 0 &rd->write_lock 1
DATA_SOURCE 0 rd $0
STR_LEN 0 rd (-1),23
STR_LEN 0 rd (-1),23
NOCHECK_CALL
LOCK2 0 &rd->write_lock
HALF_LOCKED2 &gpu->lock
HALF_LOCKED2 &queue->lock
TYPE_LOCK (struct msm_rd_state)->write_lock

drivers/gpu/drm/msm/msm_rd.c rd_open() -> rd_write_section()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 0 rd->dev 4096-ptr_max
PARAM_VALUE 0 rd->fifo.head 0
PARAM_VALUE 0 rd->fifo.tail 0
PARAM_VALUE 0 rd->open 1
PARAM_VALUE 1 type 13
PARAM_VALUE 2 buf 1327126530297790464
PARAM_VALUE 3 sz 4
BUF_SIZE 0 rd s32min-(-2),1-s32max
BUF_SIZE 0 rd s32min-(-2),1-s32max
BUF_SIZE 2 buf 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 rd unit_array_size
UNITS 3 sz unit_byte
LOCK2 &gpu->lock
TYPE_LOCK (struct msm_gpu)->lock

drivers/gpu/drm/msm/msm_rd.c rd_open() -> rd_write_section()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 0 rd->dev 4096-ptr_max
PARAM_VALUE 0 rd->fifo.head 0-511
PARAM_VALUE 0 rd->fifo.tail 0
PARAM_VALUE 0 rd->open 1
PARAM_VALUE 1 type 14
PARAM_VALUE 2 buf 7844488659169456128
PARAM_VALUE 3 sz 8
BUF_SIZE 0 rd s32min-(-2),1-s32max
BUF_SIZE 0 rd s32min-(-2),1-s32max
BUF_SIZE 2 buf 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 rd unit_array_size
UNITS 3 sz unit_byte
LOCK2 &gpu->lock
TYPE_LOCK (struct msm_gpu)->lock

drivers/gpu/drm/msm/msm_rd.c snapshot_buf() -> rd_write_section()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 0 rd->fifo.head 0-511
PARAM_VALUE 0 rd->open 1
PARAM_VALUE 0 rd->write_lock.dep_map->name 0-255
PARAM_VALUE 0 rd->write_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 rd->write_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rd->write_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rd->write_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 rd->write_lock.wait_lock.owner (-1)
PARAM_VALUE 0 rd->write_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 type 3
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 3 sz 12
DATA_SOURCE 0 rd $0
STR_LEN 0 rd (-1),23
STR_LEN 0 rd (-1),23
NOCHECK_CALL
LOCK2 0 &rd->write_lock
HALF_LOCKED2 &gpu->lock
HALF_LOCKED2 &queue->lock
TYPE_LOCK (struct msm_rd_state)->write_lock

drivers/gpu/drm/msm/msm_rd.c snapshot_buf() -> rd_write_section()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 0 rd->fifo.head 0-511
PARAM_VALUE 0 rd->open 1
PARAM_VALUE 0 rd->write_lock.dep_map->name 0-255
PARAM_VALUE 0 rd->write_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 rd->write_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rd->write_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rd->write_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 rd->write_lock.wait_lock.owner (-1)
PARAM_VALUE 0 rd->write_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 type 12
PARAM_VALUE 2 buf 4096-ptr_max
DATA_SOURCE 0 rd $0
DATA_SOURCE 3 sz $5
STR_LEN 0 rd (-1),23
STR_LEN 0 rd (-1),23
NOCHECK_CALL
UNITS 3 sz unit_byte
LOCK2 0 &rd->write_lock
HALF_LOCKED2 &gpu->lock
HALF_LOCKED2 &queue->lock
TYPE_LOCK (struct msm_rd_state)->write_lock