Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/rbd.c rbd_dev_parent_get() -> atomic_inc_return_safe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| HALF_LOCKED2 | &obj_req->state_mutex | ||
| HALF_LOCKED2 | &parent->header_rwsem | ||
| HALF_LOCKED2 | &rbd_dev->header_rwsem | ||
| TYPE_LOCK | (struct rbd_device)->header_rwsem |