Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/can/raw.c skb_setup_tx_timestamp() -> _sock_tx_timestamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | sockc | 325024513322582016 |
| PARAM_VALUE | 2 | tx_flags | 4096-ptr_max |
| PARAM_VALUE | 3 | tskey | 4096-ptr_max |
| DATA_SOURCE | 1 | sockc | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | sockc->transmit_time | 0-9223372036854775807 |
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | &vq->mutex |
net/packet/af_packet.c skb_setup_tx_timestamp() -> _sock_tx_timestamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | sockc | 2007998961182048256,2028865319573905408,5798240594105733120 |
| PARAM_VALUE | 2 | tx_flags | 4096-ptr_max |
| PARAM_VALUE | 3 | tskey | 4096-ptr_max |
| DATA_SOURCE | 1 | sockc | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | sockc->transmit_time | 0-9223372036854775807 |
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | &po->pg_vec_lock | ||
| HALF_LOCKED2 | rcu_read |
net/ipv4/raw.c skb_setup_tx_timestamp() -> _sock_tx_timestamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | sockc | 1423554224653365248 |
| PARAM_VALUE | 2 | tx_flags | 4096-ptr_max |
| PARAM_VALUE | 3 | tskey | 4096-ptr_max |
| DATA_SOURCE | 1 | sockc | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | &vq->mutex |
net/ipv4/tcp.c sock_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 |
| PARAM_VALUE | 3 | tskey | 0 |
| DATA_SOURCE | 0 | sk | $0 |
| DATA_SOURCE | 1 | sockc | $1 |
| DATA_SOURCE | 2 | tx_flags | $2 |
| NOCHECK_CALL |
net/ipv6/raw.c skb_setup_tx_timestamp() -> _sock_tx_timestamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | sockc | 5497335225115070464 |
| PARAM_VALUE | 2 | tx_flags | 4096-ptr_max |
| PARAM_VALUE | 3 | tskey | 4096-ptr_max |
| DATA_SOURCE | 1 | sockc | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | sockc->transmit_time | 0-9223372036854775807 |
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | &vq->mutex |
net/ipv6/ip6_output.c sock_tx_timestamp() -> _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 |
| PARAM_VALUE | 3 | tskey | 0 |
| DATA_SOURCE | 0 | sk | $0 |
| DATA_SOURCE | 1 | sockc | $1 |
| DATA_SOURCE | 2 | tx_flags | $2 |
| 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 |
net/bluetooth/hci_conn.c sock_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 |
| PARAM_VALUE | 3 | tskey | 0 |
| DATA_SOURCE | 0 | sk | $0 |
| DATA_SOURCE | 1 | sockc | $1 |
| DATA_SOURCE | 2 | tx_flags | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | sockc->transmit_time | 0-9223372036854775807 |
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | sk |
net/ipv4/ip_output.c sock_tx_timestamp() -> _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 |
| PARAM_VALUE | 3 | tskey | 0 |
| DATA_SOURCE | 0 | sk | $0 |
| DATA_SOURCE | 1 | sockc | $1 |
| DATA_SOURCE | 2 | tx_flags | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | sockc->priority | 0-u32max |
| USER_DATA | 1 | sockc->transmit_time | 0-9223372036854775807 |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.prev->truesize | |
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |