Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/md/dm-cache-metadata.c
- drivers/md/persistent-data/dm-array.c, line 1056
- drivers/md/persistent-data/dm-bitset.c
Smatch caller information:
drivers/md/persistent-data/dm-bitset.c cursor_next_array_entry() -> dm_array_cursor_get_value()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->ab | 4096-ptr_max |
| PARAM_VALUE | 0 | c->index | 0-4294967294 |
| PARAM_VALUE | 0 | c->info | 4096-ptr_max |
| PARAM_VALUE | 1 | value_le | 5704453749136846848 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &cmd->root_lock | ||
| HALF_LOCKED2 | &md->suspend_lock |
drivers/md/persistent-data/dm-bitset.c dm_bitset_cursor_begin() -> dm_array_cursor_get_value()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->ab | 4096-ptr_max |
| PARAM_VALUE | 0 | c->index | 0 |
| PARAM_VALUE | 0 | c->info | 4096-ptr_max |
| PARAM_VALUE | 1 | value_le | 4053105427247468544 |
| MEM_ZERO | 0 | c | |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &cmd->root_lock | ||
| HALF_LOCKED2 | &md->suspend_lock |
drivers/md/persistent-data/dm-bitset.c dm_bitset_cursor_skip() -> dm_array_cursor_get_value()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->ab | 4096-ptr_max |
| PARAM_VALUE | 0 | c->info | 4096-ptr_max |
| PARAM_VALUE | 1 | value_le | 4639888330501795840 |
| NOCHECK_CALL | |||
| LOCK2 | &cmd->root_lock | ||
| LOCK2 | &md->suspend_lock | ||
| TYPE_LOCK | (struct dm_cache_metadata)->root_lock | ||
| TYPE_LOCK | (struct mapped_device)->suspend_lock |
drivers/md/dm-cache-metadata.c __load_mapping_v1() -> dm_array_cursor_get_value()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->index | 0-4294967294 |
| PARAM_VALUE | 0 | c->info | 4096-ptr_max |
| PARAM_VALUE | 1 | value_le | 2861986414330998784 |
| DATA_SOURCE | 0 | c | $3 |
| MEM_ZERO | 0 | c | |
| NOCHECK_CALL | |||
| LOCK2 | &cmd->root_lock | ||
| HALF_LOCKED2 | &md->suspend_lock | ||
| TYPE_LOCK | (struct dm_cache_metadata)->root_lock | ||
| TYPE_LOCK | (struct mapped_device)->suspend_lock |
drivers/md/dm-cache-metadata.c __load_mapping_v1() -> dm_array_cursor_get_value()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | value_le | 1281346605545545728 |
| DATA_SOURCE | 0 | c | $4 |
| NOCHECK_CALL | |||
| LOCK2 | &cmd->root_lock | ||
| HALF_LOCKED2 | &md->suspend_lock | ||
| TYPE_LOCK | (struct dm_cache_metadata)->root_lock | ||
| TYPE_LOCK | (struct mapped_device)->suspend_lock |
drivers/md/dm-cache-metadata.c __load_mapping_v2() -> dm_array_cursor_get_value()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->index | 0-4294967294 |
| PARAM_VALUE | 0 | c->info | 4096-ptr_max |
| PARAM_VALUE | 1 | value_le | 8787888938664370176 |
| DATA_SOURCE | 0 | c | $3 |
| MEM_ZERO | 0 | c | |
| NOCHECK_CALL | |||
| LOCK2 | &cmd->root_lock | ||
| HALF_LOCKED2 | &md->suspend_lock | ||
| TYPE_LOCK | (struct dm_cache_metadata)->root_lock | ||
| TYPE_LOCK | (struct mapped_device)->suspend_lock |
drivers/md/dm-cache-metadata.c __load_mapping_v2() -> dm_array_cursor_get_value()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | value_le | 1901483210686324736 |
| DATA_SOURCE | 0 | c | $4 |
| NOCHECK_CALL | |||
| LOCK2 | &cmd->root_lock | ||
| HALF_LOCKED2 | &md->suspend_lock | ||
| TYPE_LOCK | (struct dm_cache_metadata)->root_lock | ||
| TYPE_LOCK | (struct mapped_device)->suspend_lock |