Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
rbio |
4096-ptr_max |
| PARAM_VALUE |
1 |
bio |
4096-ptr_max |
| PARAM_VALUE |
1 |
bio->bi_end_io |
6634688718929367040 |
| PARAM_VALUE |
1 |
bio->bi_next |
0 |
| PARAM_VALUE |
2 |
trace_info |
1311861575608696832 |
| PARAM_VALUE |
2 |
trace_info->devid |
0 |
| PARAM_VALUE |
2 |
trace_info->offset |
0 |
| PARAM_VALUE |
2 |
trace_info->stripe_nr |
0 |
| CAPPED_DATA |
0 |
rbio->nr_sectors |
1 |
| DATA_SOURCE |
0 |
rbio |
$0 |
| DATA_SOURCE |
1 |
bio |
r bio_list_pop |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
rbio |
4096-ptr_max |
| PARAM_VALUE |
0 |
rbio->bioc |
4096-ptr_max |
| PARAM_VALUE |
1 |
bio |
4096-ptr_max |
| PARAM_VALUE |
1 |
bio->bi_end_io |
4777569556389457920 |
| PARAM_VALUE |
1 |
bio->bi_next |
0 |
| PARAM_VALUE |
2 |
trace_info |
7188309012287492096 |
| PARAM_VALUE |
2 |
trace_info->devid |
0 |
| PARAM_VALUE |
2 |
trace_info->offset |
0 |
| PARAM_VALUE |
2 |
trace_info->stripe_nr |
0 |
| CAPPED_DATA |
0 |
rbio->nr_sectors |
1 |
| CAPPED_DATA |
0 |
rbio->stripe_nsectors |
1 |
| DATA_SOURCE |
0 |
rbio |
$0 |
| DATA_SOURCE |
1 |
bio |
r bio_list_pop |
| NOCHECK_CALL |
|
|
|
| NO_OVERFLOW_SIMPLE |
0 |
rbio->real_stripes |
|
| HALF_LOCKED2 |
|
&pool->lock |
|