Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/mptcp/protocol.c __mptcp_splice_read() -> mptcp_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 | 8186937076717006848 |
| PARAM_VALUE | 1 | desc->arg.buf | 0 |
| PARAM_VALUE | 1 | desc->arg.data | 698158585373814784 |
| 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 |
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 |