Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/rapidio/rio_cm.c rio_txcq_handler() -> rio_add_outb_message()

Type Parameter Key Value
PARAM_VALUE 0 mport 4096-ptr_max
PARAM_VALUE 0 mport->ops->add_outb_message 4096-ptr_max
PARAM_VALUE 0 mport->state.counter 1
BUF_SIZE 3 buffer 20
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 4 len unit_byte
LOCK2 &cm->tx_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct cm_dev)->tx_lock

drivers/rapidio/rio_cm.c riocm_post_send() -> rio_add_outb_message()

Type Parameter Key Value
PARAM_VALUE 0 mport 1-u64max
PARAM_VALUE 3 buffer 4096-ptr_max
PARAM_VALUE 4 len 20-4096
BUF_SIZE 3 buffer 0-4096
BUF_SIZE 3 buffer 0-4096
CAPPED_DATA 4 len 1
CAPPED_DATA 4 len 1
DATA_SOURCE 1 rdev $1
DATA_SOURCE 3 buffer $2
DATA_SOURCE 4 len $3
PARAM_COMPARE 3 buffer >= $4
NOSPEC 4 len
NOSPEC 4 len
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 *buffer s64min-s64max
USER_DATA 4 len 20-4096[c]
UNITS 4 len unit_byte
BYTE_COUNT 3 ==buffer4 8050
USER_PTR 3 buffer
LOCK2 &cm->tx_lock
LOCK2 flags
TYPE_LOCK (struct cm_dev)->tx_lock

drivers/net/rionet.c rionet_queue_tx_msg() -> rio_add_outb_message()

Type Parameter Key Value
PARAM_VALUE 2 mbox 0
PARAM_VALUE 3 buffer 4096-ptr_max
BUF_SIZE 3 buffer 1-s32max
DATA_SOURCE 1 rdev $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 4 len 0-u32max[c]
NO_OVERFLOW_SIMPLE 4 len
UNITS 3 buffer unit_byte
UNITS 4 len unit_byte
LOCK2 &rnet->tx_lock
HALF_LOCKED2 &ndev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct rionet_private)->tx_lock