Defined in 1 files as a function:
Referenced in 18 files:
- crypto/af_alg.c
- net/bluetooth/af_bluetooth.c
- net/core/datagram.c, line 981
- net/core/sock.c
- net/core/stream.c, line 134
- net/ipv4/tcp.c, line 604
- net/ipv4/tcp_bpf.c, line 194
- net/ipv4/udp_bpf.c, line 50
- net/iucv/af_iucv.c, line 1413
- net/nfc/llcp_sock.c, line 595
- net/sctp/socket.c, line 8752
- net/smc/af_smc.c, line 2921
- net/smc/smc_rx.c, line 276
- net/smc/smc_tx.c, line 89
- net/tls/tls_sw.c, line 1151
- net/unix/af_unix.c
- net/unix/unix_bpf.c, line 30
- net/vmw_vsock/vsock_bpf.c, line 50
Smatch caller information:
net/core/datagram.c datagram_poll_queue() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 0 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| CAPPED_DATA | 1 | &sk->sk_error_queue | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | sk | unit_byte |
| HALF_LOCKED2 | &pool->lock |
net/smc/smc_rx.c smc_rx_wait() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 1 |
| BUF_SIZE | 1 | sk | 1480 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | nsk |
net/ipv4/tcp.c tcp_poll() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 0 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | sk | unit_byte |
| HALF_LOCKED2 | &pool->lock |
net/ipv4/udp_bpf.c udp_msg_wait_data() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 1 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| CAPPED_DATA | 1 | sk | 1 |
| DATA_SOURCE | 1 | sk | $0 |
| BIT_INFO | 1 | sk->sk_shutdown | 0x0,0xfe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| UNITS | 1 | sk | unit_byte |
| LOCK2 | 1 | sk |
net/smc/smc_tx.c smc_tx_wait() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 0 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| BUF_SIZE | 1 | sk | 1480 |
| CAPPED_DATA | 1 | sk | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | 1 | sk |
net/unix/unix_bpf.c unix_msg_wait_data() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 1 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| CAPPED_DATA | 1 | sk | 1 |
| CAPPED_DATA | 1 | sk->sk_user_data | 1 |
| DATA_SOURCE | 1 | sk | $0 |
| BIT_INFO | 1 | sk->sk_shutdown | 0x0,0xfe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| UNITS | 1 | sk | unit_byte |
| LOCK2 | &u->iolock | ||
| TYPE_LOCK | (struct unix_sock)->iolock |
net/sctp/socket.c sctp_poll() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 0 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| CAPPED_DATA | 1 | &sk->sk_error_queue | 1 |
| CAPPED_DATA | 1 | &sk->sk_receive_queue | 1 |
| PARAM_COMPARE | 1 | sk->sk_sndbuf | <= $1->sk_wmem_queued |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | sk | unit_byte |
| HALF_LOCKED2 | &pool->lock |
net/core/stream.c sk_stream_wait_memory() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 0 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| CAPPED_DATA | 1 | sk | 1 |
| DATA_SOURCE | 1 | sk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| UNITS | 1 | sk | unit_byte |
| LOCK2 | 1 | sk | |
| HALF_LOCKED2 | &kcm->tx_mutex |
net/unix/af_unix.c unix_dgram_poll() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 0 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_prot | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_error_queue.next | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_receive_queue.next | 4096-ptr_max |
| CAPPED_DATA | 1 | sk | 1 |
| CAPPED_DATA | 1 | &sk->sk_error_queue | 1 |
| CAPPED_DATA | 1 | &sk->sk_receive_queue | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | sk | unit_byte |
| HALF_LOCKED2 | &pool->lock |
net/unix/af_unix.c unix_stream_data_wait() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 1 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_err | 0 |
| CAPPED_DATA | 1 | &sk->sk_receive_queue | 1 |
| DATA_SOURCE | 1 | sk | $0 |
| BIT_INFO | 1 | sk->sk_shutdown | 0x0,0xfe |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->data_len | |
| UNITS | 1 | sk | unit_byte |
net/tls/tls_sw.c tls_rx_rec_wait() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 1 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| CAPPED_DATA | 1 | sk | 1 |
| CAPPED_DATA | 1 | &sk->sk_receive_queue | 1 |
| DATA_SOURCE | 1 | sk | $0 |
| BIT_INFO | 1 | sk->sk_shutdown | 0x0,0xfe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->truesize | |
| UNITS | 1 | sk | unit_byte |
| HALF_LOCKED2 | 1 | sk |
crypto/af_alg.c af_alg_wait_for_data() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 1 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 1 | sk->sk_lock.wq.head.prev | 4096-ptr_max |
| DATA_SOURCE | 1 | sk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| UNITS | 1 | sk | unit_byte |
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk |
crypto/af_alg.c af_alg_wait_for_wmem() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 0 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 1 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_lock.wq.head.prev->next->next | 4096-ptr_max |
| CAPPED_DATA | 1 | sk | 1 |
| DATA_SOURCE | 1 | sk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | sk | unit_byte |
| LOCK2 | 1 | sk | |
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk |
net/smc/af_smc.c smc_poll() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 0 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| BIT_INFO | 1 | sk->sk_shutdown | 0x0,0xfd |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | sk | unit_byte |
| HALF_LOCKED2 | &pool->lock |
net/core/sock.c sk_wait_data() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 1 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_lock.wq.head.prev->next->next | 4096-ptr_max |
| CAPPED_DATA | 1 | sk | 1 |
| DATA_SOURCE | 1 | sk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| UNITS | 1 | sk | unit_byte |
| LOCK2 | 1 | sk |
net/core/sock.c sock_alloc_send_pskb() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 0 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| BUF_SIZE | 1 | sk | (-1)-s32max |
| BUF_SIZE | 1 | sk | (-1)-s32max |
| DATA_SOURCE | 1 | sk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| UNITS | 1 | sk | unit_byte |
| HALF_LOCKED2 | &po->pg_vec_lock | ||
| HALF_LOCKED2 | &xs->mutex | ||
| HALF_LOCKED2 | sock->sk | ||
| HALF_LOCKED2 | 1 | sk | |
| HALF_LOCKED2 | 1 | &sk->sk_lock.slock |
net/bluetooth/af_bluetooth.c bt_sock_data_wait() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 1 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_err | 0 |
| PARAM_VALUE | 1 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 1 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_lock.wq.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_receive_queue.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sk->sk_receive_queue.next | 4096-ptr_max |
| CAPPED_DATA | 1 | sk | 1 |
| CAPPED_DATA | 1 | sk->sk_receive_queue.next | 1 |
| CAPPED_DATA | 1 | &sk->sk_receive_queue | 1 |
| DATA_SOURCE | 1 | sk | $0 |
| PARAM_COMPARE | 1 | &sk->sk_receive_queue | == $1->sk_receive_queue.next |
| BIT_INFO | 1 | sk->sk_shutdown | 0x0,0xfe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| UNITS | 1 | sk | unit_byte |
| LOCK2 | 1 | sk | |
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk |
net/bluetooth/af_bluetooth.c bt_sock_poll() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 0 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_state | 0-3,8-255 |
| PARAM_VALUE | 1 | sk->sk_error_queue.next | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_receive_queue.next | 4096-ptr_max |
| CAPPED_DATA | 1 | &sk->sk_error_queue | 1 |
| CAPPED_DATA | 1 | &sk->sk_receive_queue | 1 |
| FUZZY_MAX | 1 | sk->__sk_common.skc_state | 9 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | sk | unit_byte |
| HALF_LOCKED2 | &pool->lock |
net/ipv4/tcp_bpf.c tcp_msg_wait_data() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 1 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| CAPPED_DATA | 1 | sk | 1 |
| DATA_SOURCE | 1 | sk | $0 |
| BIT_INFO | 1 | sk->sk_shutdown | 0x0,0xfe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| UNITS | 1 | sk | unit_byte |
| LOCK2 | 1 | sk |
net/nfc/llcp_sock.c llcp_sock_poll() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 0 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| CAPPED_DATA | 1 | &sk->sk_error_queue | 1 |
| CAPPED_DATA | 1 | &sk->sk_receive_queue | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | sk | unit_byte |
| HALF_LOCKED2 | &pool->lock |
net/vmw_vsock/vsock_bpf.c vsock_msg_wait_data() -> sk_set_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 1 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| CAPPED_DATA | 1 | sk | 1 |
| CAPPED_DATA | 1 | sk->sk_user_data | 1 |
| DATA_SOURCE | 1 | sk | $0 |
| BIT_INFO | 1 | sk->sk_shutdown | 0x0,0xfe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| UNITS | 1 | sk | unit_byte |
| LOCK2 | 1 | sk |