Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 9 files:
- drivers/infiniband/sw/siw/siw_cm.c, line 173
- drivers/infiniband/sw/siw/siw_qp.c, line 118
- drivers/scsi/iscsi_tcp.c, line 145
- io_uring/zcrx.c, line 1752
- net/ipv4/af_inet.c, line 1084
- net/ipv4/tcp.c
- net/ipv6/af_inet6.c, line 685
- net/rds/tcp_recv.c, line 277
- net/tls/tls_strp.c, line 385
Smatch caller information:
drivers/scsi/iscsi_tcp.c iscsi_sw_tcp_recv_data() -> tcp_read_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | desc | 9074996358102904832 |
| PARAM_VALUE | 1 | desc->arg.data | 4096-ptr_max |
| PARAM_VALUE | 1 | desc->count | 1 |
| PARAM_VALUE | 2 | recv_actor | 2329028854539886592 |
| NOCHECK_CALL | |||
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | &sk->sk_callback_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | sk |
drivers/infiniband/sw/siw/siw_cm.c siw_rtr_data_ready() -> tcp_read_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_user_data | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 1816498853567127552 |
| PARAM_VALUE | 1 | desc->count | 1 |
| PARAM_VALUE | 2 | recv_actor | 8773497605860196352 |
| DATA_SOURCE | 0 | sk | $0 |
| MEM_ZERO | 1 | desc | |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &sk->sk_callback_lock | |
| TYPE_LOCK | (struct sock)->sk_callback_lock |
net/ipv4/tcp.c __tcp_splice_read() -> tcp_read_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 3914495184915435520 |
| PARAM_VALUE | 1 | desc->arg.buf | 0 |
| PARAM_VALUE | 1 | desc->arg.data | 6053245801757982720 |
| PARAM_VALUE | 1 | desc->count | 1-u64max |
| PARAM_VALUE | 1 | desc->error | 0 |
| PARAM_VALUE | 1 | desc->written | 0 |
| PARAM_VALUE | 2 | recv_actor | 2310923208106131456 |
| CAPPED_DATA | 0 | sk | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | desc->count | 1-2147479552[c] |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.prev->data_len | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_write_queue.next->data_len | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_write_queue.next->prev->data_len | |
| UNITS | 0 | sk | unit_byte |
| LOCK2 | 0 | sk |
io_uring/zcrx.c io_zcrx_tcp_recvmsg() -> tcp_read_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot->recvmsg | 3952017512106831872 |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 2205396354656497664 |
| PARAM_VALUE | 1 | desc->arg.buf | 0 |
| PARAM_VALUE | 1 | desc->arg.data | 1555978984716009472 |
| PARAM_VALUE | 1 | desc->count | 1-u32max |
| PARAM_VALUE | 1 | desc->error | 0 |
| PARAM_VALUE | 1 | desc->written | 0 |
| PARAM_VALUE | 2 | recv_actor | 6608922788395585536 |
| DATA_SOURCE | 0 | sk | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sk | unit_byte |
| LOCK2 | 0 | sk |
drivers/infiniband/sw/siw/siw_qp.c siw_qp_llp_data_ready() -> tcp_read_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_user_data | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 4207107858172547072 |
| PARAM_VALUE | 1 | desc->arg.buf | 0 |
| PARAM_VALUE | 1 | desc->arg.data | 4096-ptr_max |
| PARAM_VALUE | 1 | desc->count | 1 |
| PARAM_VALUE | 1 | desc->error | 0 |
| PARAM_VALUE | 1 | desc->written | 0 |
| PARAM_VALUE | 2 | recv_actor | 8773497605860196352 |
| DATA_SOURCE | 0 | sk | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &qp->state_lock | ||
| LOCK2 | 0 | &sk->sk_callback_lock | |
| TYPE_LOCK | (struct siw_qp)->state_lock | ||
| TYPE_LOCK | (struct sock)->sk_callback_lock |
net/rds/tcp_recv.c rds_tcp_read_sock() -> tcp_read_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | desc | 81850234486677504 |
| PARAM_VALUE | 1 | desc->arg.data | 2143573795490627584 |
| PARAM_VALUE | 1 | desc->count | 1 |
| PARAM_VALUE | 1 | desc->error | 0 |
| PARAM_VALUE | 2 | recv_actor | 1969467046038102016 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | &sk->sk_callback_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | sock->sk |
net/tls/tls_strp.c tls_strp_read_copyin() -> tcp_read_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 8614900393250570240 |
| PARAM_VALUE | 1 | desc->arg.data | 4096-ptr_max |
| PARAM_VALUE | 1 | desc->count | 1 |
| PARAM_VALUE | 1 | desc->error | 0 |
| PARAM_VALUE | 2 | recv_actor | 250942983809048576 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | 0 | sk |
net/strparser/strparser.c strp_read_sock() -> (struct proto_ops)->read_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 0-1 |
| PARAM_VALUE | 0 | sk->sk_socket | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_socket->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_socket->ops->read_sock | 1-u64max |
| PARAM_VALUE | 1 | desc | 7766409887333658624 |
| PARAM_VALUE | 1 | desc->arg.data | 4096-ptr_max |
| PARAM_VALUE | 1 | desc->count | 1 |
| PARAM_VALUE | 1 | desc->error | 0 |
| PARAM_VALUE | 2 | recv_actor | 5390655503959912448 |
| HARD_MAX | 0 | sk->sk_lock.owned | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | 0 | sk |
drivers/nvme/host/tcp.c nvme_tcp_try_recv() -> (struct proto_ops)->read_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 5642455765676773376 |
| PARAM_VALUE | 1 | desc->arg.data | 4096-ptr_max |
| PARAM_VALUE | 1 | desc->count | 1 |
| PARAM_VALUE | 2 | recv_actor | 99447907989491712 |
| CONTAINER | 0 | *(-200-32+24) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | sk |