| PARAM_VALUE |
0 |
slots |
4096-ptr_max |
| PARAM_VALUE |
0 |
slots->hva_tree.rb_leftmost |
4096-ptr_max |
| PARAM_VALUE |
0 |
slots->hva_tree.rb_leftmost->rb_left |
0 |
| PARAM_VALUE |
0 |
slots->hva_tree.rb_leftmost->rb_right |
0 |
| PARAM_VALUE |
0 |
slots->hva_tree.rb_root.rb_node |
4096-ptr_max |
| PARAM_VALUE |
0 |
slots->id_hash |
4096-ptr_max |
| PARAM_VALUE |
1 |
slot |
4096-ptr_max |
| PARAM_VALUE |
1 |
slot->hva_node |
4096-ptr_max |
| PARAM_VALUE |
1 |
slot->id |
0-32766 |
| PARAM_VALUE |
1 |
slot->id_node |
4096-ptr_max |
| BUF_SIZE |
1 |
slot |
(-1),280 |
| BUF_SIZE |
1 |
slot |
(-1),280 |
| CAPPED_DATA |
1 |
slot |
1 |
| CAPPED_DATA |
1 |
slot->id |
1 |
| DATA_SOURCE |
0 |
slots |
r kvm_get_inactive_memslots |
| DATA_SOURCE |
1 |
slot |
$2 |
| NOSPEC |
1 |
slot->base_gfn |
|
| NOSPEC |
1 |
slot->id |
|
| NOSPEC |
1 |
slot->npages |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
slot->base_gfn |
0-524287[c] |
| USER_DATA |
1 |
slot->flags |
0-u32max |
| USER_DATA |
1 |
slot->gmem.pgoff |
0-524287[c] |
| USER_DATA |
1 |
slot->id |
1-32763[c] |
| USER_DATA |
1 |
slot->npages |
0-4503599627370495[c] |
| HALF_LOCKED2 |
|
&kvm->lock |
|
| HALF_LOCKED2 |
|
&kvm->slots_arch_lock |
|
| HALF_LOCKED2 |
|
&kvm->slots_lock |
|
| HALF_LOCKED2 |
|
_T->lock |
|
