Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/can/raw.c _sock_tx_timestamp() -> __sock_tx_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 tsflags 1-u32max
PARAM_VALUE 1 tx_flags 4096-ptr_max
DATA_SOURCE 1 tx_flags $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/packet/af_packet.c _sock_tx_timestamp() -> __sock_tx_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 tsflags 1-u32max
PARAM_VALUE 1 tx_flags 4096-ptr_max
DATA_SOURCE 1 tx_flags $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

net/ipv4/raw.c _sock_tx_timestamp() -> __sock_tx_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 tsflags 1-u32max
PARAM_VALUE 1 tx_flags 4096-ptr_max
DATA_SOURCE 1 tx_flags $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/ipv4/tcp.c _sock_tx_timestamp() -> __sock_tx_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 tsflags 1-u32max
PARAM_VALUE 1 tx_flags 4096-ptr_max
DATA_SOURCE 1 tx_flags $2
NOCHECK_CALL

net/ipv6/raw.c _sock_tx_timestamp() -> __sock_tx_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 tsflags 1-u32max
PARAM_VALUE 1 tx_flags 4096-ptr_max
DATA_SOURCE 1 tx_flags $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/ipv6/ip6_output.c _sock_tx_timestamp() -> __sock_tx_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 tsflags 1-u32max
PARAM_VALUE 1 tx_flags 4096-ptr_max
PARAM_VALUE 1 *tx_flags 0
DATA_SOURCE 1 tx_flags $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/bluetooth/hci_conn.c _sock_tx_timestamp() -> __sock_tx_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 tsflags 1-u32max
PARAM_VALUE 1 tx_flags 4096-ptr_max
DATA_SOURCE 1 tx_flags $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/ipv4/ip_output.c _sock_tx_timestamp() -> __sock_tx_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 tsflags 1-u32max
PARAM_VALUE 1 tx_flags 4096-ptr_max
PARAM_VALUE 1 *tx_flags 0
DATA_SOURCE 1 tx_flags $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk