Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/rds/recv.c rds_recv_incoming() -> rds_start_mprds()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->c_npaths | 1-s32max |
| PARAM_VALUE | 0 | conn->c_path->cp_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->c_path->cp_state.counter | 5 |
| PARAM_VALUE | 0 | conn->c_peer_gen_num | 1-u32max |
| PARAM_VALUE | 0 | conn->c_ping_triggered | 0 |
| PARAM_VALUE | 0 | conn->c_trans | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/rds/recv.c rds_recv_incoming() -> rds_start_mprds()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->c_npaths | 1-s32max |
| PARAM_VALUE | 0 | conn->c_path->cp_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->c_path->cp_state.counter | 5 |
| PARAM_VALUE | 0 | conn->c_peer_gen_num | 1-u32max |
| PARAM_VALUE | 0 | conn->c_ping_triggered | 0 |
| PARAM_VALUE | 0 | conn->c_trans | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |