Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/rbd.c alloc_object_extent() -> rbd_img_obj_request_add()

Type Parameter Key Value
PARAM_VALUE 0 img_request 4096-ptr_max
PARAM_VALUE 1 obj_request 4096-ptr_max
PARAM_VALUE 1 obj_request->ex.oe_item.next 1-u64max
PARAM_VALUE 1 obj_request->ex.oe_item.next->next 1-u64max
PARAM_VALUE 1 obj_request->ex.oe_item.prev 1-u64max
PARAM_VALUE 1 obj_request->ex.oe_item.prev->next 1-u64max
PARAM_VALUE 1 obj_request->ex.oe_item.prev->prev 1-u64max
PARAM_VALUE 1 obj_request->kref.refcount.refs.counter 1
PARAM_VALUE 1 obj_request->state_mutex.dep_map->name 0-255
PARAM_VALUE 1 obj_request->state_mutex.first_waiter 0
PARAM_VALUE 1 obj_request->state_mutex.magic 4096-ptr_max
PARAM_VALUE 1 obj_request->state_mutex.osq.tail.counter 0
PARAM_VALUE 1 obj_request->state_mutex.owner.counter 0
BUF_SIZE 0 img_request (-1)-s32max
BUF_SIZE 0 img_request (-1)-s32max
DATA_SOURCE 0 img_request $0
DATA_SOURCE 1 obj_request r rbd_obj_request_create
NOCHECK_CALL
HALF_LOCKED2 &obj_req->state_mutex