Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/drbd/drbd_main.c _drbd_insert_fault() -> _drbd_fault_random()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rsp | 5367240754074198016 |
| PARAM_VALUE | 0 | rsp->count | 0 |
| PARAM_VALUE | 0 | rsp->state | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |