Open Menu /

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_core.c find_closed_service_for_instance() -> handle_to_service()

Type Parameter Key Value
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 handle $1
USER_DATA 1 handle 0-u32max
LOCK2 rcu_read

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c find_service_by_handle() -> handle_to_service()

Type Parameter Key Value
PARAM_VALUE 0 instance->state->remote->initialised 0-1
PARAM_VALUE 0 instance->state->remote->trigger.armed 0-1
PARAM_VALUE 0 instance->state->remote->trigger.fired 0-1
BUF_SIZE 0 instance s32min-(-1),1-s32max
BUF_SIZE 0 instance s32min-(-1),1-s32max
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 handle $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 handle 0-u32max[c]
UNITS 0 instance unit_array_size
LOCK2 rcu_read
HALF_LOCKED2 &chip->audio_mutex
HALF_LOCKED2 &instance->vchi_mutex
HALF_LOCKED2 0 &instance->completion_mutex

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c find_service_for_instance() -> handle_to_service()

Type Parameter Key Value
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 handle $1
USER_DATA 1 handle 0-u32max
LOCK2 rcu_read

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_get_client_id() -> handle_to_service()

Type Parameter Key Value
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 handle $1
USER_DATA 1 handle 0-u32max
LOCK2 rcu_read

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_get_service_userdata() -> handle_to_service()

Type Parameter Key Value
PARAM_VALUE 0 instance->state->dev->iommu_group->default_domain 0-s64max
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 handle $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->state 4096-ptr_max
PARAM_VALUE 0 instance->state->dev 4096-ptr_max
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 handle $3
LOCK2 rcu_read