Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/dev.c __netif_receive_skb_list_core() -> __netif_receive_skb_core()

Type Parameter Key Value
PARAM_VALUE 0 pskb 3278902595888500736
PARAM_VALUE 0 *pskb 4096-ptr_max
PARAM_VALUE 2 ppt_prev 3254723224063492096
PARAM_VALUE 2 *ppt_prev 0
DATA_SOURCE 1 pfmemalloc $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 (*pskb).data
LOCK2 rcu_read
HALF_LOCKED2 bh

net/core/dev.c __netif_receive_skb_one_core() -> __netif_receive_skb_core()

Type Parameter Key Value
PARAM_VALUE 0 *pskb 4096-ptr_max
PARAM_VALUE 2 ppt_prev 4572644930946138112
PARAM_VALUE 2 *ppt_prev 0
DATA_SOURCE 1 pfmemalloc $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_PTR 0 (*pskb).data
LOCK2 rcu_read
HALF_LOCKED2 bh