Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/rbd.c rbd_handle_acquired_lock() -> rbd_cid_equal()

Type Parameter Key Value
PARAM_VALUE 0 lhs 8598261984862859264
PARAM_VALUE 1 rhs 2229941984851435520
USER_DATA 0 lhs->gid 0-u64max
USER_DATA 0 lhs->handle 0-u64max
HALF_LOCKED2 &pool->lock

drivers/block/rbd.c rbd_handle_acquired_lock() -> rbd_cid_equal()

Type Parameter Key Value
PARAM_VALUE 0 lhs 8598261984862859264
PARAM_VALUE 1 rhs 4096-ptr_max
USER_DATA 0 lhs->gid 0-u64max
USER_DATA 0 lhs->handle 0-u64max
LOCK2 &rbd_dev->lock_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rbd_device)->lock_rwsem

drivers/block/rbd.c rbd_handle_released_lock() -> rbd_cid_equal()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1135176966672175104
PARAM_VALUE 1 rhs 2229941984851435520
USER_DATA 0 lhs->gid 0-u64max
USER_DATA 0 lhs->handle 0-u64max
HALF_LOCKED2 &pool->lock

drivers/block/rbd.c rbd_handle_released_lock() -> rbd_cid_equal()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1135176966672175104
PARAM_VALUE 1 rhs 4096-ptr_max
USER_DATA 0 lhs->gid 0-u64max
USER_DATA 0 lhs->handle 0-u64max
LOCK2 &rbd_dev->lock_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rbd_device)->lock_rwsem

drivers/block/rbd.c rbd_handle_request_lock() -> rbd_cid_equal()

Type Parameter Key Value
PARAM_VALUE 0 lhs 4378865975307370496
PARAM_VALUE 1 rhs 2984626355324420096
USER_DATA 0 lhs->gid 0-u64max
USER_DATA 0 lhs->handle 0-u64max
HALF_LOCKED2 &pool->lock

drivers/block/rbd.c rbd_handle_request_lock() -> rbd_cid_equal()

Type Parameter Key Value
PARAM_VALUE 0 lhs 4096-ptr_max
PARAM_VALUE 1 rhs 2229941984851435520
LOCK2 &rbd_dev->lock_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rbd_device)->lock_rwsem