Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/persistent-data/dm-array.c shadow_ablock() -> __shadow_ablock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 0 | info->btree_info.levels | 1-u32max |
| PARAM_VALUE | 0 | info->btree_info.tm->is_clone | s32min-s32max |
| PARAM_VALUE | 2 | block | 1021653070972809216,5378100734432509952,6975381227263475712 |
| PARAM_VALUE | 3 | ab | 1485528912975515648,3196368477444141056,8984485889399922688 |
| CAPPED_DATA | 0 | info->btree_info.levels | 1 |
| DATA_SOURCE | 0 | info | $0 |
| DATA_SOURCE | 2 | block | $3 |
| DATA_SOURCE | 3 | ab | $4 |
| PREEMPT_ADD |