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/dm-clone-metadata.c, line 544
- drivers/md/persistent-data/dm-bitset.c, line 261
Smatch caller information:
drivers/md/dm-cache-metadata.c __load_discards() -> dm_bitset_cursor_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 6617808357526245376 |
| PARAM_VALUE | 0 | c->array_index | 0-67108877 |
| PARAM_VALUE | 0 | c->bit_index | 0-64 |
| PARAM_VALUE | 0 | c->current_bits | 0-4611686018427387903,13835058055282163712-u64max |
| PARAM_VALUE | 0 | c->cursor.cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->info | 4096-ptr_max |
| 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_mappings() -> dm_bitset_cursor_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->array_index | 0-67108877 |
| PARAM_VALUE | 0 | c->bit_index | 0-64 |
| PARAM_VALUE | 0 | c->current_bits | 0-4611686018427387903,13835058055282163712-u64max |
| PARAM_VALUE | 0 | c->cursor.cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->info | 4096-ptr_max |
| 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 blocks_are_clean_separate_dirty() -> dm_bitset_cursor_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->current_bits | 0-4611686018427387903,13835058055282163712-u64max |
| PARAM_VALUE | 0 | c->cursor.cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->entries_remaining | 1-4294967293 |
| PARAM_VALUE | 0 | c->info | 4096-ptr_max |
| 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 blocks_are_clean_separate_dirty() -> dm_bitset_cursor_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->array_index | 0-67108877 |
| PARAM_VALUE | 0 | c->bit_index | 0-63 |
| PARAM_VALUE | 0 | c->current_bits | 0-4611686018427387903,13835058055282163712-u64max |
| PARAM_VALUE | 0 | c->cursor.cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->info | 4096-ptr_max |
| 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 blocks_are_clean_separate_dirty() -> dm_bitset_cursor_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->array_index | 0-67108877 |
| PARAM_VALUE | 0 | c->bit_index | 0-64 |
| PARAM_VALUE | 0 | c->current_bits | 0-4611686018427387903,13835058055282163712-u64max |
| PARAM_VALUE | 0 | c->cursor.cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->info | 4096-ptr_max |
| 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 blocks_are_clean_separate_dirty() -> dm_bitset_cursor_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->array_index | 0-67108877 |
| PARAM_VALUE | 0 | c->bit_index | 0-63 |
| PARAM_VALUE | 0 | c->current_bits | 0-4611686018427387903,13835058055282163712-u64max |
| PARAM_VALUE | 0 | c->cursor.cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->info | 4096-ptr_max |
| 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-clone-metadata.c __load_bitset_in_core() -> dm_bitset_cursor_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4920662330313895936 |
| PARAM_VALUE | 0 | c->array_index | 0-67108877 |
| PARAM_VALUE | 0 | c->bit_index | 0-64 |
| PARAM_VALUE | 0 | c->current_bits | 0-4611686018427387903,13835058055282163712-u64max |
| PARAM_VALUE | 0 | c->cursor.cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->cursor.info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->info | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &clone->commit_lock | ||
| HALF_LOCKED2 | &cmd->lock |