Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/smc/smc_rx.c smc_rx_recvmsg() -> smc_rx_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | smc | 4096-ptr_max |
| PARAM_VALUE | 0 | smc->conn.killed | 1 |
| PARAM_VALUE | 0 | smc->conn.rmb_desc | 4096-ptr_max |
| PARAM_VALUE | 0 | smc->conn.rmbe_update_limit | 2304-s32max |
| PARAM_VALUE | 0 | smc->sk.__sk_common.skc_state | 0-6,8-9,11-255 |
| PARAM_VALUE | 0 | smc->sk.sk_err | 0 |
| PARAM_VALUE | 0 | smc->use_fallback | 0 |
| PARAM_VALUE | 1 | timeo | 3180626976422449152 |
| PARAM_VALUE | 1 | *timeo | s64min-(-1),1-s64max |
| PARAM_VALUE | 3 | fcrit | 2491196297856126976 |
| CAPPED_DATA | 0 | smc->conn.rmbe_update_limit | 1 |
| DATA_SOURCE | 0 | smc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | peeked | 0-s32max[c][u] |
| LOCK2 | sk |
net/smc/smc_rx.c smc_rx_recvmsg() -> smc_rx_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | smc | 4096-ptr_max |
| PARAM_VALUE | 0 | smc->conn.killed | 1 |
| PARAM_VALUE | 0 | smc->conn.rmb_desc | 4096-ptr_max |
| PARAM_VALUE | 0 | smc->conn.rmbe_update_limit | 2304-s32max |
| PARAM_VALUE | 0 | smc->use_fallback | 0 |
| PARAM_VALUE | 1 | timeo | 3180626976422449152 |
| PARAM_VALUE | 3 | fcrit | 2491196297856126976,8037852112435015680 |
| DATA_SOURCE | 0 | smc | $0 |
| BIT_INFO | 3 | fcrit | 0x228001c06e4b9000,0x6f9eaffdfffff000 |
| BIT_INFO | 3 | fcrit | 0x228001c06e4b9000,0x6f9eaffdfffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | peeked | 0-s32max[c][u] |
| LOCK2 | sk |
net/smc/af_smc.c smc_accept() -> smc_rx_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | timeo | 924566916712779776 |
| PARAM_VALUE | 1 | *timeo | s32min-s32max |
| PARAM_VALUE | 2 | peeked | 0 |
| PARAM_VALUE | 3 | fcrit | 5640679092356743168 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | nsk |