Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mscc/ocelot_ptp.c ocelot_port_txtstamp_request() -> ocelot_port_queue_ptp_tx_skb()

Type Parameter Key Value
PARAM_VALUE 0 ocelot 4096-ptr_max
PARAM_VALUE 0 ocelot->ports 4096-ptr_max
PARAM_VALUE 0 ocelot->ptp 1
PARAM_VALUE 2 clone 4096-ptr_max
PARAM_VALUE 2 clone->destructor 6012370149383725056
PARAM_VALUE 2 clone->sk 1-u64max
BUF_SIZE 0 ocelot s32min-(-1),1-s32max
BUF_SIZE 0 ocelot s32min-(-1),1-s32max
BUF_SIZE 2 clone (-1),240
DATA_SOURCE 0 ocelot $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 clone r skb_clone_sk
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ocelot unit_byte
UNITS 1 port unit_array_size
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &ocelot->inj_lock