Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c vchiq_irq_queue_bulk_tx_rx() -> vchiq_bulk_xfer_callback()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->state 4096-ptr_max
PARAM_VALUE 2 bulk_params 5293432445504307200
PARAM_VALUE 2 bulk_params->actual 0
PARAM_VALUE 2 bulk_params->cb_data 0
PARAM_VALUE 2 bulk_params->dir 0-1
PARAM_VALUE 2 bulk_params->dma_addr 0
PARAM_VALUE 2 bulk_params->offset 0
PARAM_VALUE 2 bulk_params->waiter 0
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
CAPPED_DATA 0 instance 1
CAPPED_DATA 1 handle 1
DATA_SOURCE 0 instance $0
USER_DATA 1 handle 0-u32max[c]
USER_DATA 2 bulk_params->size s32min-s32max
UNITS 0 instance unit_array_size

drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c vchiq_bulk_receive() -> vchiq_bulk_xfer_callback()

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 4096-ptr_max
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 0,2
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_bulk_xfer_callback()

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 0,2
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