Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/arm_scmi/transports/virtio.c scmi_vio_complete_cb() -> (struct scmi_message_operations)->read_header()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg->msg_header | 0-268435455 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/firmware/arm_scmi/transports/virtio.c scmi_vio_deferred_tx_worker() -> (struct scmi_message_operations)->read_header()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg->msg_header | 0-268435455 |
| LOCK2 | &vioch->pending_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct scmi_vio_channel)->pending_lock |