Defined in 1 files as a function:
Referenced in 4 files:
- net/ipv4/tcp.c, line 522
- net/ipv4/udp.c, line 3104
- net/unix/af_unix.c
- net/vmw_vsock/af_vsock.c, line 1292
Smatch caller information:
net/ipv4/tcp.c tcp_stream_is_readable() -> sk_is_readable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| DATA_SOURCE | 0 | sk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | &pool->lock |
net/unix/af_unix.c unix_dgram_poll() -> sk_is_readable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_error_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.next | 4096-ptr_max |
| CAPPED_DATA | 0 | &sk->sk_error_queue | 1 |
| CAPPED_DATA | 0 | &sk->sk_receive_queue | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | &pool->lock |
net/unix/af_unix.c unix_poll() -> sk_is_readable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.next | 4096-ptr_max |
| CAPPED_DATA | 0 | &sk->sk_receive_queue | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | &pool->lock |
net/ipv4/udp.c udp_poll() -> sk_is_readable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | &pool->lock |
net/vmw_vsock/af_vsock.c vsock_poll() -> sk_is_readable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_error_queue.next | 4096-ptr_max |
| CAPPED_DATA | 0 | &sk->sk_error_queue | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sk | unit_byte |
| HALF_LOCKED2 | &pool->lock |