Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/fcoe/fcoe_ctlr.c fcoe_ctlr_recv_work() -> fcoe_ctlr_recv_handler()

Type Parameter Key Value
PARAM_VALUE 0 fip 4096-ptr_max
PARAM_VALUE 0 fip->fip_recv_list.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
CAPPED_DATA 0 &fip->fip_recv_list 1
DATA_SOURCE 1 skb r skb_dequeue
NOCHECK_CALL
HALF_LOCKED2 &pool->lock