Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/ipv4/tcp.c tcp_tx_timestamp() -> sock_tx_timestamp()

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

net/ipv6/ip6_output.c ip6_setup_cork() -> sock_tx_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 sockc 409532831159685120,1660784924244668416,2189001213010419712,4941898643751067648,5497335225115070464,9175465522676625408
PARAM_VALUE 2 tx_flags 4096-ptr_max
PARAM_VALUE 2 *tx_flags 0
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 sockc->transmit_time 0-9223372036854775807
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk

net/bluetooth/hci_conn.c hci_setup_tx_timestamp() -> sock_tx_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
PARAM_VALUE 1 sockc 3148177575769989120,4732871205469659136,5569145794011197440
PARAM_VALUE 2 tx_flags 4096-ptr_max
DATA_SOURCE 1 sockc $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 sockc->transmit_time 0-9223372036854775807
UNITS 0 sk unit_byte

net/ipv4/ip_output.c ip_setup_cork() -> sock_tx_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 sockc 220240098717503488,1339647610310860800,1423554224653365248,2914221854001922048,4883428687735209984,8093818204654346240
PARAM_VALUE 2 tx_flags 4096-ptr_max
PARAM_VALUE 2 *tx_flags 0
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 sockc->transmit_time 0-9223372036854775807
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk
HALF_LOCKED2 0 &sk->sk_lock.slock