Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
index |
0 |
| PARAM_VALUE |
2 |
max_pnode |
0-65534 |
| PARAM_VALUE |
3 |
shift |
(-1),26 |
| CAPPED_DATA |
1 |
min_pnode |
1 |
| DATA_SOURCE |
1 |
min_pnode |
$0 |
| DATA_SOURCE |
2 |
max_pnode |
$1 |
| FUZZY_MAX |
3 |
shift |
26 |
| HARD_MAX |
3 |
shift |
26 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
index |
1 |
| PARAM_VALUE |
2 |
max_pnode |
0-65534 |
| PARAM_VALUE |
3 |
shift |
(-1),26 |
| CAPPED_DATA |
1 |
min_pnode |
1 |
| DATA_SOURCE |
1 |
min_pnode |
$0 |
| DATA_SOURCE |
2 |
max_pnode |
$1 |
| FUZZY_MAX |
3 |
shift |
26 |
| HARD_MAX |
3 |
shift |
26 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
index |
2 |
| PARAM_VALUE |
2 |
max_pnode |
0-65534 |
| PARAM_VALUE |
3 |
shift |
(-1),26 |
| PARAM_VALUE |
4 |
base |
0-67108863 |
| PARAM_VALUE |
5 |
m_io |
0-63 |
| PARAM_VALUE |
6 |
n_io |
0-15 |
| CAPPED_DATA |
1 |
min_pnode |
1 |
| DATA_SOURCE |
1 |
min_pnode |
$0 |
| DATA_SOURCE |
2 |
max_pnode |
$1 |
| FUZZY_MAX |
3 |
shift |
26 |
| HARD_MAX |
3 |
shift |
26 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
index |
3 |
| PARAM_VALUE |
2 |
max_pnode |
0-65534 |
| PARAM_VALUE |
3 |
shift |
(-1),26 |
| PARAM_VALUE |
4 |
base |
0-67108863 |
| PARAM_VALUE |
5 |
m_io |
0-63 |
| PARAM_VALUE |
6 |
n_io |
0-15 |
| CAPPED_DATA |
1 |
min_pnode |
1 |
| DATA_SOURCE |
1 |
min_pnode |
$0 |
| DATA_SOURCE |
2 |
max_pnode |
$1 |
| FUZZY_MAX |
3 |
shift |
26 |
| HARD_MAX |
3 |
shift |
26 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
index |
(-1) |
| PARAM_VALUE |
2 |
max_pnode |
0-65534 |
| PARAM_VALUE |
3 |
shift |
27 |
| CAPPED_DATA |
1 |
min_pnode |
1 |
| DATA_SOURCE |
1 |
min_pnode |
$0 |
| DATA_SOURCE |
2 |
max_pnode |
$1 |
| NOCHECK_CALL |
|
|
|