Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/rbd.c __rbd_object_map_load() -> decode_object_map_header()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6061970602950635520 |
| PARAM_VALUE | 0 | *p | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | *(*p) | (-67272519433846784) |
| PARAM_VALUE | 2 | object_map_size | 7589455981362978816 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &rbd_dev->header_rwsem | ||
| HALF_LOCKED2 | &rbd_dev->lock_rwsem |