Defined in 1 files as a function:
Referenced in 3 files:
- net/ipv4/tcp_input.c
-
net/ipv4/tcp_output.c
- line 97
- line 102
- line 1551
- line 1591
- line 1693
- line 1700
- line 1702
- line 1705
- line 1907
- line 1920
- line 1921
- line 1989
- line 2223
- line 2346
- line 2479
- line 3072
- line 3200
- line 3212
- line 3459
- line 3459
- line 3482
- line 3493
- line 3624
- line 3626
- line 3645
- line 3707
- line 3716
- line 3783
- line 3786
- line 4191
- line 4283
- line 4590
- net/ipv4/tcp_recovery.c, line 156
Smatch caller information:
net/ipv4/tcp_recovery.c tcp_newreno_mark_lost() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | r tcp_rtx_queue_head |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_clean_rtx_queue() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_clean_rtx_queue() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_mark_skb_lost() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->len | 1-u16max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_input.c tcp_mark_skb_lost() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->len | 1-u16max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_input.c tcp_mark_skb_lost() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->len | 1-u16max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_input.c tcp_match_skb_to_sack() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_notify_skb_loss_event() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_input.c tcp_sacktag_walk() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $0 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->len | 1-u32max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_shift_skb_data() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | &skb->rbnode | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| PARAM_COMPARE | 0 | &skb->rbnode | != $0->rbnode.__rb_parent_color |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_shift_skb_data() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | &skb->rbnode | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| PARAM_COMPARE | 0 | &skb->rbnode | != $0->rbnode.__rb_parent_color |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_shift_skb_data() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_shifted_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_shifted_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_shifted_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_skb_seglen() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_input.c tcp_skb_shift() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | skb->sk->sk_backlog.len | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_tso_acked() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_tso_acked() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_tso_acked() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c __tcp_retransmit_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb->len | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c __tcp_retransmit_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb->len | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c __tcp_retransmit_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | skb->next->data_len | |
| NO_OVERFLOW_SIMPLE | 0 | skb->next->len | |
| NO_OVERFLOW_SIMPLE | 0 | skb->next->prev->data_len | |
| NO_OVERFLOW_SIMPLE | 0 | skb->next->prev->len | |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c __tcp_transmit_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max[c] |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c __tcp_transmit_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| DATA_SOURCE | 0 | skb | $1 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max[c] |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c __tcp_transmit_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | $1 [m] |
| BIT_INFO | 0 | skb->destructor | 0x101888000030000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max[c] |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| NO_OVERFLOW_SIMPLE | 0 | skb->sk->sk_backlog.len | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c __tcp_transmit_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | $1 [m] |
| BIT_INFO | 0 | skb->destructor | 0x101888000030000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max[c] |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| NO_OVERFLOW_SIMPLE | 0 | skb->sk->sk_backlog.len | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c __tcp_transmit_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | $1 [m] |
| BIT_INFO | 0 | skb->destructor | 0x101888000030000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max[c] |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| NO_OVERFLOW_SIMPLE | 0 | skb->sk->sk_backlog.len | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c __tcp_transmit_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | $1 [m] |
| BIT_INFO | 0 | skb->destructor | 0x101888000030000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max[c] |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| NO_OVERFLOW_SIMPLE | 0 | skb->sk->sk_backlog.len | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c tcp_can_collapse() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c tcp_collapse_retrans() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | &skb->rbnode | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c tcp_collapse_retrans() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c tcp_collapse_retrans() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c tcp_connect_queue_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | 320 |
| BUF_SIZE | 0 | skb | 320 |
| DATA_SOURCE | 0 | skb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c tcp_event_new_data_sent() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1),320 |
| BUF_SIZE | 0 | skb | (-1),320 |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| MEM_ZERO | 0 | skb->cb | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->inner_protocol | 1-255 |
| HOST_DATA | 0 | skb->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->len | 1-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->len | 1-u32max[c] |
| HOST_DATA | 0 | skb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 0 | *skb->data | 0-255 |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c tcp_event_new_data_sent() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1),320 |
| BUF_SIZE | 0 | skb | (-1),320 |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| MEM_ZERO | 0 | skb->cb | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->inner_protocol | 1-255 |
| HOST_DATA | 0 | skb->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->len | 1-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->len | 1-u32max[c] |
| HOST_DATA | 0 | skb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 0 | *skb->data | 0-255 |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c tcp_fragment() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->len | 1-u32max[c] |
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c tcp_fragment() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->len | 1-u32max[c] |
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c tcp_fragment() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | 320 |
| BUF_SIZE | 0 | skb | 320 |
| CAPPED_DATA | 0 | skb->len | 1 |
| DATA_SOURCE | 0 | skb | r tcp_stream_alloc_skb |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | skb->data_len | |
| NO_OVERFLOW_SIMPLE | 0 | skb->len | |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c tcp_init_tso_segs() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1),320 |
| BUF_SIZE | 0 | skb | (-1),320 |
| DATA_SOURCE | 0 | skb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->next->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->tstamp | 500000002-4294967299794967295[c] |
net/ipv4/tcp_output.c tcp_minshall_update() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | $2 |
net/ipv4/tcp_output.c tcp_retransmit_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->inner_protocol | 1-255 |
| HOST_DATA | 0 | skb->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->len | 1-u32max[c] |
| HOST_DATA | 0 | skb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 0 | *skb->data | 0-255 |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c tcp_retransmit_skb() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->inner_protocol | 1-255 |
| HOST_DATA | 0 | skb->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->len | 1-u32max[c] |
| HOST_DATA | 0 | skb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 0 | *skb->data | 0-255 |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c tcp_send_loss_probe() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c tcp_send_loss_probe() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | skb->next->data_len | |
| NO_OVERFLOW_SIMPLE | 0 | skb->next->len | |
| NO_OVERFLOW_SIMPLE | 0 | skb->next->prev->data_len | |
| NO_OVERFLOW_SIMPLE | 0 | skb->next->prev->len | |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c tcp_send_syn_data() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | 320 |
| BUF_SIZE | 0 | skb | 320 |
| CAPPED_DATA | 0 | skb | 1 |
| DATA_SOURCE | 0 | skb | r tcp_stream_alloc_skb |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c tcp_trim_head() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c tcp_tso_should_defer() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb->len | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | *skb->data | 0-255 |
| HALF_LOCKED2 | &sk->sk_callback_lock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c tcp_write_wakeup() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb->len | 1 |
| DATA_SOURCE | 0 | skb | r tcp_send_head |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c tcp_xmit_retransmit_queue() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->inner_protocol | 1-255 |
| HOST_DATA | 0 | skb->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 0 | *skb->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | skb->sk->sk_backlog.len | |
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv4/tcp_output.c tcp_xmit_retransmit_queue() -> tcp_skb_pcount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->cb | 4096-ptr_max |
| CAPPED_DATA | 0 | skb | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->inner_protocol | 1-255 |
| HOST_DATA | 0 | skb->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 0 | *skb->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | skb->sk->sk_backlog.len | |
| HALF_LOCKED2 | &sk->sk_lock.slock |