Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->armed 0-1
PARAM_VALUE 1 event->fired 0-1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->sync_mutex

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c recycle_func() -> remote_event_wait()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->armed 0-1
PARAM_VALUE 1 event->fired 0-1

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c slot_handler_func() -> remote_event_wait()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->armed 0-1
PARAM_VALUE 1 event->fired 0-1

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

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->armed 0-1
PARAM_VALUE 1 event->fired 0-1