Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/bridge/samsung-dsim.c samsung_dsim_host_attach() -> (struct samsung_dsim_host_ops)->attach()

Type Parameter Key Value
PARAM_VALUE 0 dsim 4096-ptr_max
PARAM_VALUE 0 dsim->bridge.hpd_mutex.dep_map->name 0-255
PARAM_VALUE 0 dsim->bridge.hpd_mutex.first_waiter 0
PARAM_VALUE 0 dsim->bridge.hpd_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dsim->bridge.hpd_mutex.osq.tail.counter 0
PARAM_VALUE 0 dsim->bridge.hpd_mutex.owner.counter 0
PARAM_VALUE 0 dsim->bridge.hpd_state_mutex.dep_map->name 0-255
PARAM_VALUE 0 dsim->bridge.hpd_state_mutex.first_waiter 0
PARAM_VALUE 0 dsim->bridge.hpd_state_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dsim->bridge.hpd_state_mutex.osq.tail.counter 0
PARAM_VALUE 0 dsim->bridge.hpd_state_mutex.owner.counter 0
PARAM_VALUE 0 dsim->bridge.list.next->prev 4096-ptr_max
PARAM_VALUE 0 dsim->bridge.list.prev->next 4096-ptr_max
PARAM_VALUE 0 dsim->bridge.next_bridge 4096-ptr_max
PARAM_VALUE 0 dsim->dev 4096-ptr_max
PARAM_VALUE 0 dsim->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dsim->dev->class 0,4096-ptr_max
PARAM_VALUE 0 dsim->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 dsim->plat_data->host_ops 4096-ptr_max
PARAM_VALUE 0 dsim->plat_data->host_ops->attach 2069679120870440960
PARAM_VALUE 1 device 4096-ptr_max
PARAM_VALUE 1 device->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 1 device->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 1 device->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 1 device->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 1 device->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 1 device->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 1 device->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 1 device->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 device->host 4096-ptr_max
PARAM_VALUE 1 device->host->ops 4096-ptr_max
PARAM_VALUE 1 device->host->ops->attach 1-u64max
BUF_SIZE 0 dsim->bridge.next_bridge (-1)-0,600
BUF_SIZE 1 device (-1),1696
BUF_SIZE 1 device (-1),1696
BUF_SIZE 1 device->dsc (-1),136
DATA_SOURCE 0 dsim r host_to_dsi
DATA_SOURCE 1 device $1
RX_PATH
TASK_NOT_RUNNING