Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/omapdrm/dss/sdi.c sdi_init_output() -> sdi_bridge_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 sdi 4096-ptr_max
PARAM_VALUE 0 sdi->bridge.hpd_mutex.dep_map->name 0-255
PARAM_VALUE 0 sdi->bridge.hpd_mutex.first_waiter 0
PARAM_VALUE 0 sdi->bridge.hpd_mutex.magic 4096-ptr_max
PARAM_VALUE 0 sdi->bridge.hpd_mutex.osq.tail.counter 0
PARAM_VALUE 0 sdi->bridge.hpd_mutex.owner.counter 0
PARAM_VALUE 0 sdi->bridge.hpd_state_mutex.dep_map->name 0-255
PARAM_VALUE 0 sdi->bridge.hpd_state_mutex.magic 4096-ptr_max
PARAM_VALUE 0 sdi->bridge.hpd_state_mutex.owner.counter 0
PARAM_VALUE 0 sdi->bridge.list.next->prev 4096-ptr_max
PARAM_VALUE 0 sdi->bridge.list.prev->next 4096-ptr_max
PARAM_VALUE 0 sdi->bridge.type 7
PARAM_VALUE 0 sdi->dss 4096-ptr_max
PARAM_VALUE 0 sdi->dss->base 4096-ptr_max
PARAM_VALUE 0 sdi->dss->dss_clk 0,4096-ptr_max
PARAM_VALUE 0 sdi->dss->feat 4096-ptr_max
PARAM_VALUE 0 sdi->dss->parent_clk 0,4096-ptr_max
PARAM_VALUE 0 sdi->dss->pdev 4096-ptr_max
PARAM_VALUE 0 sdi->output.bus_flags 68
PARAM_VALUE 0 sdi->output.dev 4096-ptr_max
PARAM_VALUE 0 sdi->output.dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 sdi->output.dispc_channel 0
PARAM_VALUE 0 sdi->output.id 4
PARAM_VALUE 0 sdi->output.name 2777684335976124416
PARAM_VALUE 0 sdi->output.of_port 1
PARAM_VALUE 0 sdi->output.type 4
PARAM_VALUE 0 sdi->pdev 4096-ptr_max
PARAM_VALUE 0 sdi->pdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 sdi->vdds_sdi_reg 4096-ptr_max
BUF_SIZE 0 sdi->vdds_sdi_reg s32min,(-1)-s32max
DATA_SOURCE 0 sdi $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/omapdrm/dss/sdi.c sdi_uninit_output() -> sdi_bridge_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 sdi 4096-ptr_max
PARAM_VALUE 0 sdi->output.bridge 0,4096-u64max
PARAM_VALUE 0 sdi->output.next_bridge 0,4096-u64max
BUF_SIZE 0 sdi 16
BUF_SIZE 0 sdi 16
DATA_SOURCE 0 sdi $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL