Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rpmsg/qcom_glink_native.c qcom_glink_tx() -> qcom_glink_send_read_notify()

Type Parameter Key Value
PARAM_VALUE 0 glink 4096-ptr_max
PARAM_VALUE 0 glink->abort_tx 0
PARAM_VALUE 0 glink->sent_read_notify 1
PARAM_VALUE 0 glink->tx_pipe 4096-ptr_max
PARAM_VALUE 0 glink->tx_pipe->avail 4096-ptr_max
PARAM_VALUE 0 glink->tx_pipe->length 1-u64max
BUF_SIZE 0 glink (-1),648
BUF_SIZE 0 glink (-1),648
BUF_SIZE 0 glink->dev->groups (-1),16
BUF_SIZE 0 glink->label (-1),7
DATA_SOURCE 0 glink $0
STR_LEN 0 glink (-1),12
STR_LEN 0 glink (-1),12
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &glink->tx_lock
HALF_LOCKED2 &channel->intent_req_lock
TYPE_LOCK (struct qcom_glink)->tx_lock