Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bag |
4096-ptr_max |
| PARAM_VALUE |
0 |
bag->xfbtree.highest_bno |
1 |
| PARAM_VALUE |
0 |
bag->xfbtree.owner |
0 |
| PARAM_VALUE |
0 |
bag->xfbtree.root.s |
0 |
| PARAM_VALUE |
2 |
next_rmap |
1184059815718699008 |
| PARAM_VALUE |
4 |
next_bnop |
1606104057625030656 |
| NO_OVERFLOW_SIMPLE |
4 |
*next_bnop |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bag |
4096-ptr_max |
| PARAM_VALUE |
0 |
bag->xfbtree.highest_bno |
1 |
| PARAM_VALUE |
0 |
bag->xfbtree.owner |
0 |
| PARAM_VALUE |
0 |
bag->xfbtree.root.s |
0 |
| PARAM_VALUE |
1 |
tp |
4096-ptr_max |
| PARAM_VALUE |
2 |
next_rmap |
1184059815718699008 |
| PARAM_VALUE |
4 |
next_bnop |
1606104057625030656 |
| PARAM_VALUE |
4 |
*next_bnop |
0-4294967294 |
| NO_OVERFLOW_SIMPLE |
4 |
*next_bnop |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bag |
4096-ptr_max |
| PARAM_VALUE |
0 |
bag->xfbtree.highest_bno |
1 |
| PARAM_VALUE |
0 |
bag->xfbtree.owner |
0 |
| PARAM_VALUE |
0 |
bag->xfbtree.root.s |
0 |
| PARAM_VALUE |
1 |
tp |
4096-ptr_max |
| PARAM_VALUE |
2 |
next_rmap |
8701903744330313728 |
| PARAM_VALUE |
4 |
next_bnop |
8329409647293956096 |
| NO_OVERFLOW_SIMPLE |
4 |
*next_bnop |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bag |
4096-ptr_max |
| PARAM_VALUE |
0 |
bag->xfbtree.highest_bno |
1 |
| PARAM_VALUE |
0 |
bag->xfbtree.owner |
0 |
| PARAM_VALUE |
0 |
bag->xfbtree.root.s |
0 |
| PARAM_VALUE |
1 |
tp |
4096-ptr_max |
| PARAM_VALUE |
2 |
next_rmap |
8701903744330313728 |
| PARAM_VALUE |
4 |
next_bnop |
8329409647293956096 |
| PARAM_VALUE |
4 |
*next_bnop |
0-4294967294 |
| NO_OVERFLOW_SIMPLE |
4 |
*next_bnop |
|