Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/rbd.c rbd_acknowledge_notify() -> __rbd_acknowledge_notify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rbd_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | rbd_dev->header_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | rbd_dev->header_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | rbd_dev->lock_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | rbd_dev->lock_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | rbd_dev->rbd_client->client->osdc.lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | rbd_dev->rbd_client->client->osdc.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 3 | result | 0 |
| DATA_SOURCE | 0 | rbd_dev | $0 |
| DATA_SOURCE | 1 | notify_id | $1 |
| DATA_SOURCE | 2 | cookie | $2 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/block/rbd.c rbd_acknowledge_notify_result() -> __rbd_acknowledge_notify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rbd_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | rbd_dev->lock_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rbd_dev->lock_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | rbd_dev->lock_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | rbd_dev->lock_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | rbd_dev->lock_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | rbd_dev->lock_state | 1-2 |
| PARAM_VALUE | 3 | *result | (-95),(-30),0 |
| DATA_SOURCE | 0 | rbd_dev | $0 |
| DATA_SOURCE | 1 | notify_id | $1 |
| DATA_SOURCE | 2 | cookie | $2 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |