Defined in 2 files as a prototype:
Defined in 2 files as a function:
Referenced in 6 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
st |
8168795432078680064 |
| PARAM_VALUE |
0 |
st->effective_prot_p4d |
459980264884240384 |
| PARAM_VALUE |
0 |
st->effective_prot_pgd |
8925254040018481152 |
| PARAM_VALUE |
0 |
st->effective_prot_pmd |
3971838137308598272 |
| PARAM_VALUE |
0 |
st->effective_prot_pte |
3892351712710447104 |
| PARAM_VALUE |
0 |
st->effective_prot_pud |
3269130867797786624 |
| PARAM_VALUE |
0 |
st->note_page_flush |
6816798565705973760 |
| PARAM_VALUE |
0 |
st->note_page_p4d |
9036106757596209152 |
| PARAM_VALUE |
0 |
st->note_page_pgd |
4035570357576749056 |
| PARAM_VALUE |
0 |
st->note_page_pmd |
5528173851541884928 |
| PARAM_VALUE |
0 |
st->note_page_pte |
547961621943054336 |
| PARAM_VALUE |
0 |
st->note_page_pud |
7160850640873951232 |
| PARAM_VALUE |
0 |
st->range |
4096-ptr_max |
| PARAM_VALUE |
1 |
mm |
4096-ptr_max |
| DATA_SOURCE |
1 |
mm |
$1 |
| DATA_SOURCE |
2 |
pgd |
$2 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| UNITS |
1 |
mm |
unit_byte |
| HALF_LOCKED2 |
|
&m->lock |
|
