Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/staging/vc04_services/bcm2835-audio/bcm2835-vchiq.c bcm2835_audio_send_msg_locked() -> vchiq_queue_kernel_message()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->state 4096-ptr_max
PARAM_VALUE 2 data 1276073493151948800,2394747035532169216,4222782546863755264,5858703015176478720,8841749980035231744
PARAM_VALUE 3 size 20
DATA_SOURCE 2 data $1
RX_PATH
TASK_NOT_RUNNING
UNITS 3 size unit_byte
LOCK2 &instance->vchi_mutex
TYPE_LOCK (struct bcm2835_audio_instance)->vchi_mutex

drivers/staging/vc04_services/bcm2835-audio/bcm2835-vchiq.c bcm2835_audio_write() -> vchiq_queue_kernel_message()

Type Parameter Key Value
PARAM_VALUE 2 *data 0-255
PARAM_VALUE 3 size 1-u32max
CAPPED_DATA 1 handle 1
CAPPED_DATA 3 size 1
DATA_SOURCE 2 data $2 [m]
RX_PATH
TASK_NOT_RUNNING
UNITS 2 data unit_byte
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

drivers/platform/raspberrypi/vchiq-mmal/mmal-vchiq.c buffer_from_host() -> vchiq_queue_kernel_message()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->state 4096-ptr_max
PARAM_VALUE 2 data 5601719104647512064
PARAM_VALUE 3 size 296
BUF_SIZE 2 data 512
UNITS 3 size unit_byte
HALF_LOCKED2 &instance->vchiq_mutex

drivers/platform/raspberrypi/vchiq-mmal/mmal-vchiq.c send_synchronous_mmal_msg() -> vchiq_queue_kernel_message()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->state 4096-ptr_max
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 3 size 24-512
DATA_SOURCE 2 data $1
UNITS 3 size unit_byte
LOCK2 &instance->vchiq_mutex
TYPE_LOCK (struct vchiq_mmal_instance)->vchiq_mutex