Documented in 1 files:
Defined in 1 files as a prototype:
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_transport_core_operations)->rx_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg_hdr | 0-268435455 |
| PARAM_VALUE | 2 | priv | 4096-ptr_max |
| DATA_SOURCE | 2 | priv | r virtqueue_get_buf |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/firmware/arm_scmi/transports/virtio.c scmi_vio_deferred_tx_worker() -> (struct scmi_transport_core_operations)->rx_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg_hdr | 0-268435455 |
| PARAM_VALUE | 2 | priv | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | &vioch->pending_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct scmi_vio_channel)->pending_lock |
drivers/firmware/arm_scmi/transports/mailbox.c rx_callback() -> (struct scmi_transport_core_operations)->rx_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | priv | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | msg_hdr | 0-u32max |
| HALF_LOCKED2 | &chan->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &thread->chan->lock | ||
| HALF_LOCKED2 | flags |