Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/netronome/nfp/ccm_mbox.c nfp_ccm_mbox_copy_in() -> nfp_ccm_mbox_maxlen()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &nn->bar_lock
HALF_LOCKED2 &nn->mbox_cmsg.queue.lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/netronome/nfp/ccm_mbox.c nfp_ccm_mbox_run_queue_unlock() -> nfp_ccm_mbox_maxlen()

Type Parameter Key Value
DATA_SOURCE 0 skb r __skb_peek
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nn->mbox_cmsg.queue.lock
LOCK2 bh
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/ethernet/netronome/nfp/ccm_mbox.c nfp_ccm_mbox_run_queue_unlock() -> nfp_ccm_mbox_maxlen()

Type Parameter Key Value
PARAM_VALUE 0 skb->cb 4096-ptr_max
DATA_SOURCE 0 skb r skb_queue_next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nn->mbox_cmsg.queue.lock
LOCK2 bh
TYPE_LOCK (struct sk_buff_head)->lock