Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/ulp/ipoib/ipoib_cm.c ipoib_cm_handle_rx_wc() -> skb_add_pseudo_hdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

drivers/infiniband/ulp/ipoib/ipoib_ib.c ipoib_ib_handle_rx_wc() -> skb_add_pseudo_hdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 0 skb->pkt_type 0-2
FUZZY_MAX 0 skb->pkt_type 2
HARD_MAX 0 skb->pkt_type 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh