Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c service_callback() -> add_completion()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->closing 0
PARAM_VALUE 0 instance->state 4096-ptr_max
PARAM_VALUE 0 instance->state->dev 4096-ptr_max
BUF_SIZE 3 user_service 235432
BUF_SIZE 3 user_service 235432
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 reason $1
DATA_SOURCE 2 header $2 [m]
DATA_SOURCE 4 cb_data $4
DATA_SOURCE 5 cb_userdata $5

drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c service_single_message() -> add_completion()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->closing 0
PARAM_VALUE 0 instance->state 4096-ptr_max
PARAM_VALUE 0 instance->state->dev 4096-ptr_max
PARAM_VALUE 2 header 0
PARAM_VALUE 3 user_service 4096-ptr_max
BUF_SIZE 3 user_service 235432
BUF_SIZE 3 user_service 235432
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 reason $1
DATA_SOURCE 4 cb_data $3
DATA_SOURCE 5 cb_userdata $4