Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c parse_message() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 4
RX_PATH

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c parse_message() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 3-9
RX_PATH

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c parse_message() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 0-255
RX_PATH

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c parse_message() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 8-9
RX_PATH
LOCK2 &service->bulk_mutex
TYPE_LOCK (struct vchiq_service)->bulk_mutex

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c parse_message() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 8-9
RX_PATH
LOCK2 &service->bulk_mutex
TYPE_LOCK (struct vchiq_service)->bulk_mutex

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c queue_message() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 5
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->slot_mutex

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c queue_message() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 0-255
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->slot_mutex

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c queue_message() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 0-255
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->slot_mutex

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c queue_message() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 0-255
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &service->bulk_mutex
HALF_LOCKED2 &state->mutex
HALF_LOCKED2 &state->slot_mutex

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c queue_message() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 0-255
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &service->bulk_mutex
HALF_LOCKED2 &state->mutex
HALF_LOCKED2 &state->slot_mutex

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c queue_message_sync() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 0-255
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->sync_mutex

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c queue_message_sync() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 0-255
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->sync_mutex

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c sync_func() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 0-255

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c sync_func() -> msg_type_str()

Type Parameter Key Value
PARAM_VALUE 0 msg_type 0-255