Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c, line 3641
- drivers/platform/raspberrypi/vchiq-mmal/mmal-vchiq.c, line 686
- drivers/staging/vc04_services/bcm2835-audio/bcm2835-vchiq.c
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 |