Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/cadence/macb_main.c gem_rx() -> gem_ptp_do_rxstamp()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->dev 4096-ptr_max
PARAM_VALUE 0 bp->dev->dev_addr 4096-ptr_max
PARAM_VALUE 0 bp->dev->dsa_ptr 0,4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->dev 4096-ptr_max
PARAM_VALUE 1 skb->len 0-4294967281
PARAM_VALUE 1 skb->pkt_type 1-3
PARAM_VALUE 2 desc 4096-ptr_max
DATA_SOURCE 2 desc r macb_rx_desc
BIT_INFO 2 desc->addr 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read