Open Menu /

Defined in 1 files as a struct:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c vchiq_ioc_queue_message() -> vchiq_queue_message()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->state 4096-ptr_max
PARAM_VALUE 2 copy_callback 3963429907625963520
PARAM_VALUE 3 context 1698171041060339712
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 3 context 24
CAPPED_DATA 0 instance 1
CAPPED_DATA 1 handle 1
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 handle $1
USER_DATA 1 handle 0-u32max[c]
UNITS 0 instance unit_array_size

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_queue_kernel_message() -> vchiq_queue_message()

Type Parameter Key Value
PARAM_VALUE 2 copy_callback 6332558907596390400
PARAM_VALUE 4 size 1-u32max
BUF_SIZE 3 context (-1),512
BUF_SIZE 3 context (-1),512
CAPPED_DATA 4 size 1
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 handle $1
DATA_SOURCE 3 context $2
DATA_SOURCE 4 size $3
RX_PATH
TASK_NOT_RUNNING
UNITS 3 context unit_byte
UNITS 4 size unit_byte
HALF_LOCKED2 &instance->vchi_mutex
HALF_LOCKED2 &instance->vchiq_mutex