Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/rbd.c rbd_obj_copyup_object_maps() -> rbd_object_map_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | obj_req | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->copyup_state | 2 |
| 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 | 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->snapc->num_snaps | 1-u32max |
| PARAM_VALUE | 0 | obj_req->img_request->snapc->snaps | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_req->pending.num_pending | 0-s32max |
| 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->state_mutex.wait_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | obj_req->write_state | 4 |
| PARAM_VALUE | 2 | new_state | 1,3 |
| PARAM_VALUE | 3 | current_state | 0 |
| 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 |
| FUZZY_MAX | 2 | new_state | 3 |
| BIT_INFO | 0 | obj_req->flags | 0x0,0xfffffffb |
| BIT_INFO | 2 | new_state | 0x1,0x3 |
| HARD_MAX | 2 | new_state | 3 |
| 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 |
drivers/block/rbd.c rbd_obj_write_post_object_map() -> rbd_object_map_update()
| 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 | 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->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-5 |
| PARAM_VALUE | 1 | snap_id | 18446744073709551614 |
| PARAM_VALUE | 2 | new_state | 0 |
| PARAM_VALUE | 3 | current_state | 7588341827381268480 |
| PARAM_VALUE | 3 | *current_state | 2 |
| BUF_SIZE | 0 | obj_req | (-1),1-s32max |
| BUF_SIZE | 0 | obj_req | (-1),1-s32max |
| DATA_SOURCE | 0 | obj_req | $0 |
| BIT_INFO | 0 | obj_req->flags | 0x1,0xffffffff |
| PREEMPT_ADD | |||
| USER_DATA | 0 | obj_req->pending.result | s32min-(-12),(-10)-(-1),1-s32max[c] |
| 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 |
drivers/block/rbd.c rbd_obj_write_pre_object_map() -> rbd_object_map_update()
| 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 | 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->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 | 1 |
| PARAM_VALUE | 1 | snap_id | 18446744073709551614 |
| PARAM_VALUE | 2 | new_state | 1-2 |
| PARAM_VALUE | 3 | current_state | 0 |
| BUF_SIZE | 0 | obj_req | (-1),1-s32max |
| BUF_SIZE | 0 | obj_req | (-1),1-s32max |
| DATA_SOURCE | 0 | obj_req | $0 |
| FUZZY_MAX | 2 | new_state | 2 |
| BIT_INFO | 0 | obj_req->flags | 0x0,0xffffffff |
| HARD_MAX | 2 | new_state | 2 |
| 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 |