Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm.c dm_swap_table() -> dm_table_has_no_data_devices()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 1-u64max |
| PARAM_VALUE | 0 | *t->counts | 0-4294967295 |
| DATA_SOURCE | 0 | t | $1 |
| NO_OVERFLOW_SIMPLE | 0 | t->mempools->bs.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | t->mempools->bs.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | t->mempools->io_bs.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | t->mempools->io_bs.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | t->num_allocated | |
| LOCK2 | &md->suspend_lock | ||
| TYPE_LOCK | (struct mapped_device)->suspend_lock |