Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rpmsg/qcom_glink_native.c qcom_glink_tx_write() -> (struct qcom_glink_pipe)->write()

Type Parameter Key Value
PARAM_VALUE 0 glink_pipe 4096-ptr_max
PARAM_VALUE 0 glink_pipe->avail 4096-ptr_max
PARAM_VALUE 0 glink_pipe->length 1-u64max
PARAM_VALUE 1 hdr 4096-ptr_max
PARAM_VALUE 2 hlen 0-s32max,18446744071562067968-u64max
PARAM_VALUE 3 data 0,4096-ptr_max
PARAM_VALUE 4 dlen 0-s32max,18446744071562067968-u64max
BUF_SIZE 1 hdr 8,16,40
BUF_SIZE 1 hdr 8,16,40
CAPPED_DATA 4 dlen 1
CAPPED_DATA 4 dlen 1
DATA_SOURCE 1 hdr $1
DATA_SOURCE 2 hlen $2
DATA_SOURCE 3 data $3
DATA_SOURCE 4 dlen $4
CONTAINER 0 *(-32+0) $(-1)
BIT_INFO 2 hlen 0x0,0x7ffffff8
BIT_INFO 2 hlen 0x0,0x7ffffff8
NOSPEC 4 dlen
NOSPEC 4 dlen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 4 dlen 2-2147483644[c]
USER_DATA 4 dlen 2-3999998[c]
USER_PTR 3 data
LOCK2 &glink->tx_lock
LOCK2 flags
HALF_LOCKED2 &channel->intent_req_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct qcom_glink)->tx_lock