Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/transports/virtio.c virtio_send_message() -> scmi_vio_msg_acquire()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->list.next 4096-ptr_max
PARAM_VALUE 0 msg->list.next->next 4096-ptr_max
PARAM_VALUE 0 msg->list.next->prev 4096-ptr_max
PARAM_VALUE 0 msg->list.prev 4096-ptr_max
PARAM_VALUE 0 msg->list.prev->next 4096-ptr_max
PARAM_VALUE 0 msg->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 msg->poll_idx 0-u16max
PARAM_VALUE 0 msg->poll_status 2
PARAM_VALUE 0 msg->request->msg_header 0-268435455
PARAM_VALUE 0 msg->users.refs.counter 1
PARAM_VALUE 0 *msg->request->msg_payload 0-4294967295
CAPPED_DATA 0 msg->input 1
CAPPED_DATA 0 msg->request 1
DATA_SOURCE 0 msg r scmi_virtio_get_free_msg
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vioch->lock
LOCK2 flags
TYPE_LOCK (struct scmi_vio_channel)->lock