Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
placements |
4096-ptr_max |
| PARAM_VALUE |
1 |
n_placements |
2 |
| PARAM_VALUE |
2 |
expected_mr |
4096-ptr_max |
| PARAM_VALUE |
2 |
expected_mr->private |
0 |
| PARAM_VALUE |
3 |
flags |
0 |
| BUF_SIZE |
0 |
placements |
16 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
placements |
4096-ptr_max |
| PARAM_VALUE |
1 |
n_placements |
1 |
| PARAM_VALUE |
2 |
expected_mr |
4096-ptr_max |
| PARAM_VALUE |
2 |
expected_mr->private |
0 |
| PARAM_VALUE |
3 |
flags |
7 |
| PARAM_COMPARE |
2 |
expected_mr |
== $0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
placements |
4096-ptr_max |
| PARAM_VALUE |
1 |
n_placements |
2 |
| PARAM_VALUE |
3 |
flags |
3 |
| BUF_SIZE |
0 |
placements |
16 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
placements |
4096-ptr_max |
| PARAM_VALUE |
1 |
n_placements |
1 |
| PARAM_VALUE |
2 |
expected_mr |
4096-ptr_max |
| PARAM_VALUE |
2 |
expected_mr->private |
0 |
| PARAM_VALUE |
3 |
flags |
11 |
| PARAM_COMPARE |
2 |
expected_mr |
== $0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
placements |
4096-ptr_max |
| PARAM_VALUE |
1 |
n_placements |
1 |
| PARAM_VALUE |
2 |
expected_mr |
4096-ptr_max |
| PARAM_VALUE |
2 |
expected_mr->private |
0 |
| PARAM_VALUE |
3 |
flags |
31 |
| PARAM_COMPARE |
2 |
expected_mr |
== $0 |