Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
s |
1776116832383782912 |
| PARAM_VALUE |
0 |
s->info |
4096-ptr_max |
| PARAM_VALUE |
2 |
vt |
5816478277811351552 |
| PARAM_VALUE |
2 |
vt->dec |
5303003897724932096 |
| PARAM_VALUE |
2 |
vt->equal |
250717913397145600 |
| PARAM_VALUE |
2 |
vt->inc |
2523892218533584896 |
| PARAM_VALUE |
2 |
vt->size |
8 |
| PARAM_VALUE |
4 |
index |
6430322218740785152 |
| PARAM_VALUE |
4 |
*index |
0-2147483646,u32max |
| USER_DATA |
3 |
key |
0-u64max |
| HALF_LOCKED2 |
|
&pool->lock |
|
| HALF_LOCKED2 |
|
&td->pmd->root_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
s |
1776116832383782912 |
| PARAM_VALUE |
0 |
s->info |
4096-ptr_max |
| PARAM_VALUE |
2 |
vt |
4096-ptr_max |
| PARAM_VALUE |
4 |
index |
6430322218740785152 |
| PARAM_VALUE |
4 |
*index |
0-2147483646,u32max |
| USER_DATA |
3 |
key |
0-u64max |
| HALF_LOCKED2 |
|
&pool->lock |
|
| HALF_LOCKED2 |
|
&td->pmd->root_lock |
|
