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_arm.c vchiq_bulk_receive() -> vchiq_blocking_bulk_transfer()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->state 4096-ptr_max
PARAM_VALUE 2 bulk_params 7147786796712480768
PARAM_VALUE 2 bulk_params->actual 0
PARAM_VALUE 2 bulk_params->cb_data 0
PARAM_VALUE 2 bulk_params->cb_userdata 0
PARAM_VALUE 2 bulk_params->dir 1
PARAM_VALUE 2 bulk_params->dma_addr 0
PARAM_VALUE 2 bulk_params->mode 1
PARAM_VALUE 2 bulk_params->uoffset 0
PARAM_VALUE 2 bulk_params->waiter 0
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 handle $1
HALF_LOCKED2 &pool->lock

drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c vchiq_bulk_transmit() -> vchiq_blocking_bulk_transfer()

Type Parameter Key Value
PARAM_VALUE 2 bulk_params 6997892316890435584
PARAM_VALUE 2 bulk_params->actual 0
PARAM_VALUE 2 bulk_params->cb_data 0
PARAM_VALUE 2 bulk_params->cb_userdata 0
PARAM_VALUE 2 bulk_params->dir 0
PARAM_VALUE 2 bulk_params->dma_addr 0
PARAM_VALUE 2 bulk_params->mode 1
PARAM_VALUE 2 bulk_params->offset 4096-ptr_max
PARAM_VALUE 2 bulk_params->size s32min-(-1),1-s32max
PARAM_VALUE 2 bulk_params->uoffset 0
PARAM_VALUE 2 bulk_params->waiter 0
CAPPED_DATA 1 handle 1
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 handle $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &instance->vchi_mutex
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 &substream->runtime->buffer_mutex
HALF_LOCKED2 &substream->self_group.lock
HALF_LOCKED2 &substream->self_group.mutex
HALF_LOCKED2 &vss->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct bcm2835_audio_instance)->vchi_mutex