Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/rbd.c rbd_object_map_callback() -> rbd_object_map_update_finish()

Type Parameter Key Value
PARAM_VALUE 1 osd_req 4096-ptr_max
PARAM_VALUE 1 osd_req->r_callback 1-u64max
BUF_SIZE 0 obj_req 1-s32max
BUF_SIZE 0 obj_req 1-s32max
DATA_SOURCE 1 osd_req $0
NOSPEC 1 osd_req->r_result
USER_DATA 1 osd_req->r_reply->con->v2.in_cursor.bvec_iter.bi_size 1-s32max[c]
USER_DATA 1 osd_req->r_reply->con->v2.in_cursor.lastlen 1-4096[c]
USER_DATA 1 osd_req->r_reply->con->v2.in_cursor.need_crc 0-1
USER_DATA 1 osd_req->r_reply->con->v2.in_cursor.page_offset 0-2559[c]
USER_DATA 1 osd_req->r_reply->con->v2.in_cursor.resid 0-u64max
USER_DATA 1 osd_req->r_reply->con->v2.in_iter.count 0
USER_DATA 1 osd_req->r_request->con->v2.out_cursor.bio_iter.iter.bi_size 1-s32max[c]
USER_DATA 1 osd_req->r_request->con->v2.out_cursor.bvec_iter.bi_size 1-s32max[c]
USER_DATA 1 osd_req->r_request->con->v2.out_cursor.iov_iter.count 0-u64max
USER_DATA 1 osd_req->r_request->con->v2.out_cursor.iov_iter.iov_offset 0-u64max[c]
USER_DATA 1 osd_req->r_request->con->v2.out_cursor.page_offset 0-2559[c]
USER_DATA 1 osd_req->r_request->con->v2.out_cursor.resid 0-u64max
USER_DATA 1 osd_req->r_request->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
USER_DATA 1 osd_req->r_result s32min-(-12),(-10)-(-1),1-s32max[c]
USER_DATA 1 osd_req->r_version 0-u64max
UNITS 0 obj_req unit_byte
HALF_LOCKED2 &pool->lock