Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/drbd/drbd_receiver.c drbd_flush() -> submit_one_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->state.disk | 1-15 |
| PARAM_VALUE | 1 | ctx | 1587125893679726592 |
| PARAM_VALUE | 1 | ctx->done.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 1 | ctx->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | ctx->done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | ctx->done.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->done.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->error | (-12),0 |
| NOCHECK_CALL |