Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/rbd.c rbd_dev_unprobe() -> rbd_dev_mapping_clear()

Type Parameter Key Value
PARAM_VALUE 0 rbd_dev 4096-ptr_max
BUF_SIZE 0 rbd_dev (-1),4144
BUF_SIZE 0 rbd_dev (-1),4144
BUF_SIZE 0 rbd_dev->rbd_client (-1),32
DATA_SOURCE 0 rbd_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 rbd_dev->header.snapc->seq 0-u64max
USER_DATA 0 rbd_dev->watch_handle->ping_req->r_reply->con->v2.in_cursor.resid 0-u64max
USER_DATA 0 rbd_dev->watch_handle->ping_req->r_request->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 rbd_dev->watch_handle->ping_req->r_request->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
USER_DATA 0 rbd_dev->watch_handle->reg_req->r_reply->con->v2.in_cursor.resid 0-u64max
USER_DATA 0 rbd_dev->watch_handle->reg_req->r_request->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 rbd_dev->watch_handle->reg_req->r_request->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE 0 rbd_dev->tag_set.queue_depth
HALF_LOCKED2 &of->mutex