Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/sunrpc/xprtsock.c xs_tcp_write_space() -> xs_write_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_sndbuf | (-2147483647)-s32max |
| PARAM_VALUE | 0 | sk->sk_wmem_queued | s32min-2147483646 |
| DATA_SOURCE | 0 | sk | $0 |
| PARAM_COMPARE | 0 | sk->sk_sndbuf | > $0->sk_wmem_queued |
| NOCHECK_CALL |
net/sunrpc/xprtsock.c xs_udp_write_space() -> xs_write_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| DATA_SOURCE | 0 | sk | $0 |
| NOCHECK_CALL |