Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/drbd/drbd_req.c drbd_submit_req_private_bio() -> drbd_process_discard_or_zeroes_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device->md_sync_timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device->ov_last_oos_size | 0 |
| PARAM_VALUE | 0 | req->device->ov_last_oos_start | 0 |
| PARAM_VALUE | 0 | req->device->ov_start_sector | 0,8-18446744073709551608 |
| PARAM_VALUE | 0 | req->device->read_requests.rb_node | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device->resync_timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device->resync_timer.entry.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | req->device->rs_last_sect_ev | 0 |
| PARAM_VALUE | 0 | req->device->state.disk | 1-15 |
| PARAM_VALUE | 0 | req->device->write_requests.rb_node | 4096-ptr_max |
| PARAM_VALUE | 0 | req->private_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | req->req_pending_local.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | req->req_pending_local.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | req->tl_requests.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | req->tl_requests.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | req->tl_requests.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | req->w.cb | 379725370282639360,1891975603811028992,7080415726592770048 |
| PARAM_VALUE | 0 | req->w.list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 8,12 |
| DATA_SOURCE | 0 | req | $0 |
| BIT_INFO | 1 | flags | 0x8,0xf |
| NOSPEC | 0 | req->master_bio->bi_iter.bi_sector | |
| NOSPEC | 0 | req->master_bio->bi_iter.bi_size | |
| NOSPEC | 0 | req->private_bio->bi_iter.bi_sector | |
| NOSPEC | 0 | req->private_bio->bi_iter.bi_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | req->master_bio->bi_iter.bi_sector | 0-u64max |
| HOST_DATA | 0 | req->master_bio->bi_iter.bi_size | 1024-4294966272[c] |
| HOST_DATA | 0 | req->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| HOST_DATA | 0 | req->private_bio->bi_iter.bi_sector | 0 |
| HOST_DATA | 0 | req->private_bio->bi_iter.bi_size | 0[c] |
| HOST_DATA | 0 | req->private_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | req->master_bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | req->master_bio->bi_iter.bi_sector | 0-u64max |
| USER_DATA | 0 | req->master_bio->bi_iter.bi_size | 512-4294966272 |
| USER_DATA | 0 | req->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | req->private_bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | req->private_bio->bi_iter.bi_sector | 0 |
| USER_DATA | 0 | req->private_bio->bi_iter.bi_size | 0 |
| USER_DATA | 0 | req->private_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| NO_OVERFLOW_SIMPLE | 0 | req->private_bio->bi_pool->bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | req->private_bio->bi_pool->bvec_pool.min_nr | |
| HALF_LOCKED2 | &pool->lock |
drivers/block/drbd/drbd_req.c drbd_submit_req_private_bio() -> drbd_process_discard_or_zeroes_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device->md_sync_timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device->ov_last_oos_size | 0 |
| PARAM_VALUE | 0 | req->device->ov_last_oos_start | 0 |
| PARAM_VALUE | 0 | req->device->ov_start_sector | 0,8-18446744073709551608 |
| PARAM_VALUE | 0 | req->device->read_requests.rb_node | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device->resync_timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device->resync_timer.entry.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | req->device->rs_last_sect_ev | 0 |
| PARAM_VALUE | 0 | req->device->state.disk | 1-15 |
| PARAM_VALUE | 0 | req->device->write_requests.rb_node | 4096-ptr_max |
| PARAM_VALUE | 0 | req->private_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | req->req_pending_local.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | req->req_pending_local.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | req->tl_requests.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | req->tl_requests.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | req->tl_requests.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | req->w.cb | 379725370282639360,1891975603811028992,7080415726592770048 |
| PARAM_VALUE | 0 | req->w.list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 4 |
| DATA_SOURCE | 0 | req | $0 |
| NOSPEC | 0 | req->master_bio->bi_iter.bi_sector | |
| NOSPEC | 0 | req->master_bio->bi_iter.bi_size | |
| NOSPEC | 0 | req->private_bio->bi_iter.bi_sector | |
| NOSPEC | 0 | req->private_bio->bi_iter.bi_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | req->master_bio->bi_iter.bi_sector | 0-u64max |
| HOST_DATA | 0 | req->master_bio->bi_iter.bi_size | 1024-4294966272[c] |
| HOST_DATA | 0 | req->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| HOST_DATA | 0 | req->private_bio->bi_iter.bi_sector | 0 |
| HOST_DATA | 0 | req->private_bio->bi_iter.bi_size | 0[c] |
| HOST_DATA | 0 | req->private_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | req->master_bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | req->master_bio->bi_iter.bi_sector | 0-u64max |
| USER_DATA | 0 | req->master_bio->bi_iter.bi_size | 512-4294966272 |
| USER_DATA | 0 | req->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | req->private_bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | req->private_bio->bi_iter.bi_sector | 0 |
| USER_DATA | 0 | req->private_bio->bi_iter.bi_size | 0 |
| USER_DATA | 0 | req->private_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| NO_OVERFLOW_SIMPLE | 0 | req->private_bio->bi_pool->bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | req->private_bio->bi_pool->bvec_pool.min_nr | |
| HALF_LOCKED2 | &pool->lock |