Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-thin.c process_set_transaction_id_mesg() -> dm_pool_set_metadata_transaction_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| USER_DATA | 1 | current_id | 0-u64max |
| USER_DATA | 2 | new_id | 0-u64max |
| NO_OVERFLOW_SIMPLE | 1 | current_id | |
| NO_OVERFLOW_SIMPLE | 2 | new_id | |
| LOCK2 | &md->io_barrier | ||
| TYPE_LOCK | (struct mapped_device)->io_barrier |