Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_init_state() -> vchiq_platform_init_state()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->connect.done 0
PARAM_VALUE 0 state->connect.wait.lock.magic 3735899821
PARAM_VALUE 0 state->connect.wait.lock.owner (-1)
PARAM_VALUE 0 state->connect.wait.lock.owner_cpu u32max
PARAM_VALUE 0 state->connect.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 state->connect.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 state->connect.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 state->connect.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 state->connect.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->data_quota_event.done 0
PARAM_VALUE 0 state->data_quota_event.wait.lock.magic 3735899821
PARAM_VALUE 0 state->data_quota_event.wait.lock.owner (-1)
PARAM_VALUE 0 state->data_quota_event.wait.lock.owner_cpu u32max
PARAM_VALUE 0 state->data_quota_event.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 state->data_quota_event.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 state->data_quota_event.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 state->data_quota_event.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 state->data_quota_event.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->data_use_count 0
PARAM_VALUE 0 state->dev 4096-ptr_max
PARAM_VALUE 0 state->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 state->dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 state->dev->dma_mem 0,4096-ptr_max
PARAM_VALUE 0 state->dev->driver 4096-ptr_max
PARAM_VALUE 0 state->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 state->dev->of_node 1-u64max
PARAM_VALUE 0 state->local 4096-ptr_max
PARAM_VALUE 0 state->local->initialised 0
PARAM_VALUE 0 state->local->slot_first 33-34
PARAM_VALUE 0 state->local->slot_last 63-64
PARAM_VALUE 0 state->local->slot_sync 32-33
PARAM_VALUE 0 state->mutex.dep_map->name 0-255
PARAM_VALUE 0 state->mutex.first_waiter 0
PARAM_VALUE 0 state->mutex.magic 4096-ptr_max
PARAM_VALUE 0 state->mutex.osq.tail.counter 0
PARAM_VALUE 0 state->mutex.owner.counter 0
PARAM_VALUE 0 state->previous_data_index (-1)
PARAM_VALUE 0 state->recycle_event.head.next 4096-ptr_max
PARAM_VALUE 0 state->recycle_event.head.next->next 4096-ptr_max
PARAM_VALUE 0 state->recycle_event.head.prev 4096-ptr_max
PARAM_VALUE 0 state->recycle_event.head.prev->next 4096-ptr_max
PARAM_VALUE 0 state->recycle_event.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->recycle_mutex.dep_map->name 0-255
PARAM_VALUE 0 state->recycle_mutex.first_waiter 0
PARAM_VALUE 0 state->recycle_mutex.magic 4096-ptr_max
PARAM_VALUE 0 state->recycle_mutex.osq.tail.counter 0
PARAM_VALUE 0 state->recycle_mutex.owner.counter 0
PARAM_VALUE 0 state->remote 4096-ptr_max
PARAM_VALUE 0 state->remote->slot_first 2
PARAM_VALUE 0 state->remote->slot_last 31-32
PARAM_VALUE 0 state->remote->slot_sync 1
PARAM_VALUE 0 state->slot_available_event.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 state->slot_available_event.wait.lock.owner (-1)
PARAM_VALUE 0 state->slot_available_event.wait.lock.owner_cpu u32max
PARAM_VALUE 0 state->slot_available_event.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 state->slot_available_event.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 state->slot_available_event.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 state->slot_available_event.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 state->slot_available_event.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->slot_data 4096-ptr_max
PARAM_VALUE 0 state->slot_mutex.dep_map->name 0-255
PARAM_VALUE 0 state->slot_mutex.first_waiter 0
PARAM_VALUE 0 state->slot_mutex.magic 4096-ptr_max
PARAM_VALUE 0 state->slot_mutex.osq.tail.counter 0
PARAM_VALUE 0 state->slot_mutex.owner.counter 0
PARAM_VALUE 0 state->slot_queue_available 1-s32max
PARAM_VALUE 0 state->sync_mutex.dep_map->name 0-255
PARAM_VALUE 0 state->sync_mutex.first_waiter 0
PARAM_VALUE 0 state->sync_mutex.magic 4096-ptr_max
PARAM_VALUE 0 state->sync_mutex.osq.tail.counter 0
PARAM_VALUE 0 state->sync_mutex.owner.counter 0
PARAM_VALUE 0 state->sync_release_event.head.next 4096-ptr_max
PARAM_VALUE 0 state->sync_release_event.head.next->next 4096-ptr_max
PARAM_VALUE 0 state->sync_release_event.head.prev 4096-ptr_max
PARAM_VALUE 0 state->sync_release_event.head.prev->next 4096-ptr_max
PARAM_VALUE 0 state->sync_release_event.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->sync_release_event.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 state->sync_trigger_event.head.next 4096-ptr_max
PARAM_VALUE 0 state->sync_trigger_event.head.next->next 4096-ptr_max
PARAM_VALUE 0 state->sync_trigger_event.head.prev 4096-ptr_max
PARAM_VALUE 0 state->sync_trigger_event.head.prev->next 4096-ptr_max
PARAM_VALUE 0 state->sync_trigger_event.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->trigger_event.head.next 4096-ptr_max
PARAM_VALUE 0 state->trigger_event.head.next->next 4096-ptr_max
PARAM_VALUE 0 state->trigger_event.head.prev 4096-ptr_max
PARAM_VALUE 0 state->trigger_event.head.prev->next 4096-ptr_max
PARAM_VALUE 0 state->trigger_event.head.prev->prev 4096-ptr_max
BUF_SIZE 0 state->dev 1616
BUF_SIZE 0 state->local 372
BUF_SIZE 0 state->remote 372
CAPPED_DATA 0 state->default_message_quota 1
DATA_SOURCE 0 state $0
MEM_ZERO 0 state
MEM_ZERO 0 &state->recycle_event
MEM_ZERO 0 &state->sync_release_event
MEM_ZERO 0 &state->sync_trigger_event
MEM_ZERO 0 &state->trigger_event
RX_PATH
TASK_NOT_RUNNING