Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/omapdrm/dss/dsi.c dsi_update_screen_dispc() -> dsi_vc_send_bta()

Type Parameter Key Value
PARAM_VALUE 0 dsi 4096-ptr_max
PARAM_VALUE 0 dsi->bus_lock.first_waiter->up 0-1
PARAM_VALUE 0 dsi->dsidev 4096-ptr_max
PARAM_VALUE 0 dsi->dss 4096-ptr_max
PARAM_VALUE 0 dsi->dss->dispc 4096-ptr_max
PARAM_VALUE 0 dsi->framedone_timeout_work.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 dsi->output.dss 4096-ptr_max
PARAM_VALUE 0 dsi->output.dss->mgr_ops_priv 4096-ptr_max
PARAM_VALUE 0 dsi->te_enabled 1
BUF_SIZE 0 dsi s32min-(-1),1-s32max
BUF_SIZE 0 dsi s32min-(-1),1-s32max
DATA_SOURCE 0 dsi $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dsi unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &dsi->bus_lock

drivers/gpu/drm/omapdrm/dss/dsi.c dsi_vc_send_bta_sync() -> dsi_vc_send_bta()

Type Parameter Key Value
PARAM_VALUE 0 dsi 4096-ptr_max
PARAM_VALUE 0 dsi->irq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 vc 1
BUF_SIZE 0 dsi s32min-(-2),1-s32max
BUF_SIZE 0 dsi s32min-(-2),1-s32max
DATA_SOURCE 1 vc $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dsi unit_byte
LOCK2 &dsi->bus_lock
TYPE_LOCK (struct dsi_data)->bus_lock