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_unlink_unlock() -> nfp_ccm_mbox_in_progress()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->cb 4096-ptr_max
PARAM_VALUE 0 skb->cb->state 0
BUF_SIZE 0 skb s32min,8,16,32,88,112
BUF_SIZE 0 skb s32min,8,16,32,88,112
CAPPED_DATA 0 skb->prev 1
DATA_SOURCE 0 skb $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nn->mbox_cmsg.queue.lock
LOCK2 bh
HALF_LOCKED2 global &device_offload_lock
HALF_LOCKED2 sk
TYPE_LOCK (struct sk_buff_head)->lock