Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/block/drbd/drbd_receiver.c drbd_asb_recover_1p() -> drbd_khelper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->p_uuid | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resource | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resource->req_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->state.disk | 1-15 |
| PARAM_VALUE | 0 | device->state.role | 1 |
| PARAM_VALUE | 1 | cmd | 7429246948786290688 |
| BUF_SIZE | 1 | cmd | 18 |
| CAPPED_DATA | 0 | device->state.disk | 1 |
| STR_LEN | 0 | device | 17 |
| TERMINATED | 1 | cmd | 1 |
| NOCHECK_CALL |
drivers/block/drbd/drbd_receiver.c drbd_asb_recover_2p() -> drbd_khelper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->p_uuid | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resource | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resource->req_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->state.disk | 1-15 |
| PARAM_VALUE | 1 | cmd | 7429246948786290688 |
| BUF_SIZE | 1 | cmd | 18 |
| CAPPED_DATA | 0 | device->state.disk | 1 |
| STR_LEN | 0 | device | 17 |
| TERMINATED | 1 | cmd | 1 |
| NOCHECK_CALL |
drivers/block/drbd/drbd_receiver.c drbd_sync_handshake() -> drbd_khelper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev->md.uuid | 0,4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev->md.uuid_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->p_uuid | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resource | 4096-ptr_max |
| PARAM_VALUE | 0 | device->state.disk | 1-15 |
| PARAM_VALUE | 1 | cmd | 3710999239683387392 |
| BUF_SIZE | 1 | cmd | 20 |
| STR_LEN | 0 | device | 19 |
| TERMINATED | 1 | cmd | 1 |
| NOCHECK_CALL |
drivers/block/drbd/drbd_receiver.c drbd_sync_handshake() -> drbd_khelper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev->md.uuid | 0,4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev->md.uuid_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->p_uuid | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resource | 4096-ptr_max |
| PARAM_VALUE | 0 | device->state.disk | 1-15 |
| PARAM_VALUE | 1 | cmd | 54768342768947200 |
| BUF_SIZE | 1 | cmd | 12 |
| STR_LEN | 0 | device | 11 |
| TERMINATED | 1 | cmd | 1 |
| NOCHECK_CALL |
drivers/block/drbd/drbd_receiver.c drbd_sync_handshake() -> drbd_khelper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev->md.uuid | 0,4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev->md.uuid_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->p_uuid | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resource | 4096-ptr_max |
| PARAM_VALUE | 0 | device->state.disk | 7-15 |
| PARAM_VALUE | 0 | device->state.role | 1 |
| PARAM_VALUE | 1 | cmd | 2529628625437532160 |
| BUF_SIZE | 1 | cmd | 9 |
| STR_LEN | 0 | device | 8 |
| TERMINATED | 1 | cmd | 1 |
| NOCHECK_CALL |
drivers/block/drbd/drbd_worker.c drbd_resync_finished() -> drbd_khelper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->al_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->resource | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resource->req_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->resync->free.next | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resync->free.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resync->free.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resync_wenr | u32max |
| PARAM_VALUE | 0 | device->rs_failed | 0 |
| PARAM_VALUE | 0 | device->rs_total | 0 |
| PARAM_VALUE | 1 | cmd | 2083595169673908224,8147509573491343360 |
| BUF_SIZE | 1 | cmd | 12,20 |
| BUF_SIZE | 1 | cmd | 12,20 |
| CAPPED_DATA | 0 | device->state.disk | 1 |
| STR_LEN | 0 | device | 11,19 |
| STR_LEN | 1 | cmd | 11,19 |
| BIT_INFO | 1 | cmd | 0x100040c028020000,0x7dfbeece7c2bd000 |
| BIT_INFO | 1 | cmd | 0x100040c028020000,0x7dfbeece7c2bd000 |
| TERMINATED | 1 | cmd | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | device->state_mutex |
drivers/block/drbd/drbd_worker.c drbd_start_resync() -> drbd_khelper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ldev->md.uuid_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->md_sync_timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->md_sync_timer.entry.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | device->misc_wait.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->resource | 4096-ptr_max |
| PARAM_VALUE | 0 | device->state.conn | 0-15,22-31 |
| PARAM_VALUE | 0 | device->state.disk | 1-15 |
| PARAM_VALUE | 1 | cmd | 4363922794835767296 |
| BUF_SIZE | 1 | cmd | 21 |
| DATA_SOURCE | 0 | device | $0 |
| FUZZY_MAX | 0 | device->state.disk | 3 |
| STR_LEN | 0 | device | 20 |
| TERMINATED | 1 | cmd | 1 |
drivers/block/drbd/drbd_worker.c drbd_start_resync() -> drbd_khelper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->state.conn | 0-15,22-31 |
| PARAM_VALUE | 1 | cmd | 8643365994885271552 |
| BUF_SIZE | 1 | cmd | 21 |
| DATA_SOURCE | 0 | device | $0 |
| STR_LEN | 0 | device | 20 |
| TERMINATED | 1 | cmd | 1 |