Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/host1x/dev.c host1x_probe() -> host1x_intr_deinit()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
BUF_SIZE 0 host 1432
BUF_SIZE 0 host->clk (-1),1-s32max
BUF_SIZE 0 host->dev 1616
BUF_SIZE 0 host->dev->dma_parms 16
CAPPED_DATA 0 host->channel_list.channels 1
CAPPED_DATA 0 host->debugfs 1
CAPPED_DATA 0 host->info->nb_bases 1
CAPPED_DATA 0 host->info->nb_pts 1
CAPPED_DATA 0 host->num_syncpt_irqs 1
DATA_SOURCE 0 host r devm_kzalloc
MEM_ZERO 0 host
MEM_ZERO 0 host->cache.lock.dep_map.key
MEM_ZERO 0 host->cache.lock.dep_map.name
MEM_ZERO 0 host->context_list.lock.dep_map.key
MEM_ZERO 0 host->context_list.lock.dep_map.name
MEM_ZERO 0 host->context_list.lock.wait_lock.dep_map.key
MEM_ZERO 0 host->context_list.lock.wait_lock.dep_map.name
MEM_ZERO 0 host->context_list.lock.wait_lock.owner
MEM_ZERO 0 host->dev->dma_parms
MEM_ZERO 0 host->resets
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->info->nb_bases
NO_OVERFLOW_SIMPLE 0 host->info->nb_channels
NO_OVERFLOW_SIMPLE 0 host->info->nb_pts
NO_OVERFLOW_SIMPLE 0 host->num_syncpt_irqs

drivers/gpu/host1x/dev.c host1x_remove() -> host1x_intr_deinit()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
CAPPED_DATA 0 host->debugfs 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 host unit_byte
HALF_LOCKED2 &_dev->mutex