Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/persistent-data/dm-space-map-common.c __sm_ll_dec() -> init_inc_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ic | 964077697217155072 |
| NOCHECK_CALL |
drivers/md/persistent-data/dm-space-map-common.c __sm_ll_inc() -> init_inc_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ic | 1784078450339483648 |
| NOCHECK_CALL |
drivers/md/persistent-data/dm-space-map-common.c reset_inc_context() -> init_inc_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ic | 964077697217155072,1784078450339483648 |
| PARAM_VALUE | 0 | ic->bitmap | 0,4096-ptr_max |
| DATA_SOURCE | 0 | ic | $1 |
| NOCHECK_CALL |