Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/rbd.c rbd_obj_add_osd_request() -> __rbd_obj_add_osd_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | obj_req | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->ex.oe_off | 0-18446744073709551614 |
| PARAM_VALUE | 0 | obj_req->img_request | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->img_request->op_type | 2-4 |
| PARAM_VALUE | 0 | obj_req->img_request->rbd_dev->parent->header_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | obj_req->img_request->rbd_dev->parent->header_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | obj_req->img_request->rbd_dev->rbd_client->client->osdc.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | obj_req->img_request->snapc | 1-u64max |
| PARAM_VALUE | 0 | obj_req->state_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | obj_req->state_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->state_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | obj_req->state_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | obj_req->state_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | obj_req->state_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | obj_req->state_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | obj_req->write_state | 2,4 |
| PARAM_VALUE | 1 | snapc | 1-u64max |
| PARAM_VALUE | 2 | num_ops | 1-3 |
| BUF_SIZE | 0 | obj_req | (-1),1-s32max |
| BUF_SIZE | 0 | obj_req | (-1),1-s32max |
| DATA_SOURCE | 0 | obj_req | $0 |
| DATA_SOURCE | 2 | num_ops | $1 |
| HARD_MAX | 0 | obj_req->write_state | 4 |
| PREEMPT_ADD | |||
| NO_OVERFLOW_SIMPLE | 0 | obj_req->num_img_extents | |
| UNITS | 0 | obj_req | unit_byte |
| LOCK2 | 0 | &obj_req->state_mutex | |
| HALF_LOCKED2 | &img_req->state_mutex | ||
| TYPE_LOCK | (struct rbd_obj_request)->state_mutex |
drivers/block/rbd.c rbd_obj_copyup_empty_snapc() -> __rbd_obj_add_osd_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | obj_req | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->copyup_state | 3-4 |
| PARAM_VALUE | 0 | obj_req->ex.oe_off | 0-18446744073709551614 |
| PARAM_VALUE | 0 | obj_req->img_request | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->img_request->op_type | 2-4 |
| PARAM_VALUE | 0 | obj_req->img_request->rbd_dev->parent->header_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | obj_req->img_request->rbd_dev->parent->header_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | obj_req->img_request->rbd_dev->rbd_client->client->osdc.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | obj_req->img_request->snapc | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->img_request->snapc->num_snaps | 1-u32max |
| PARAM_VALUE | 0 | obj_req->pending.num_pending | 0 |
| PARAM_VALUE | 0 | obj_req->pending.result | 0 |
| PARAM_VALUE | 0 | obj_req->state_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | obj_req->state_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->state_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | obj_req->state_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | obj_req->state_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | obj_req->state_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | obj_req->state_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | obj_req->state_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | obj_req->write_state | 4 |
| PARAM_VALUE | 1 | snapc | 6039815671875104768 |
| PARAM_VALUE | 2 | num_ops | 1 |
| BUF_SIZE | 0 | obj_req | (-1),1-s32max |
| BUF_SIZE | 0 | obj_req | (-1),1-s32max |
| CAPPED_DATA | 0 | obj_req->num_img_extents | 1 |
| DATA_SOURCE | 0 | obj_req | $0 |
| BIT_INFO | 0 | obj_req->flags | 0x0,0xfffffffb |
| NO_OVERFLOW_SIMPLE | 0 | obj_req->num_img_extents | |
| UNITS | 0 | obj_req | unit_byte |
| LOCK2 | 0 | &obj_req->state_mutex | |
| HALF_LOCKED2 | &img_req->state_mutex | ||
| TYPE_LOCK | (struct rbd_obj_request)->state_mutex |
drivers/block/rbd.c rbd_obj_read_object() -> __rbd_obj_add_osd_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | obj_req | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->ex.oe_off | 0-18446744073709551614 |
| PARAM_VALUE | 0 | obj_req->flags | 0,8-u32max |
| PARAM_VALUE | 0 | obj_req->img_request | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->img_request->op_type | 1 |
| PARAM_VALUE | 0 | obj_req->img_request->rbd_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->img_request->rbd_dev->parent->header_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | obj_req->img_request->rbd_dev->parent->header_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | obj_req->img_request->rbd_dev->rbd_client->client->osdc.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | obj_req->img_request->rbd_dev->spec | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->read_state | 1 |
| PARAM_VALUE | 0 | obj_req->state_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | obj_req->state_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->state_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | obj_req->state_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | obj_req->state_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | obj_req->state_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | obj_req->state_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | obj_req->state_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | snapc | 0 |
| PARAM_VALUE | 2 | num_ops | 1 |
| BUF_SIZE | 0 | obj_req | (-1),1-s32max |
| BUF_SIZE | 0 | obj_req | (-1),1-s32max |
| DATA_SOURCE | 0 | obj_req | $0 |
| PREEMPT_ADD | |||
| NO_OVERFLOW_SIMPLE | 0 | obj_req->num_img_extents | |
| UNITS | 0 | obj_req | unit_byte |
| LOCK2 | 0 | &obj_req->state_mutex | |
| HALF_LOCKED2 | &img_req->state_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rbd_obj_request)->state_mutex |