| PARAM_VALUE |
0 |
kvm |
4096-ptr_max |
| PARAM_VALUE |
0 |
kvm->arch.cpu_dirty_log_size |
0 |
| PARAM_VALUE |
0 |
kvm->mmu_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
1 |
slot |
4096-ptr_max |
| PARAM_VALUE |
1 |
slot->id |
0-32763 |
| BUF_SIZE |
0 |
kvm |
s32min-(-1),1-s32max |
| BUF_SIZE |
0 |
kvm |
s32min-(-1),1-s32max |
| CAPPED_DATA |
1 |
slot->id |
1 |
| DATA_SOURCE |
0 |
kvm |
$0 |
| DATA_SOURCE |
1 |
slot |
$1 |
| DATA_SOURCE |
2 |
gfn_offset |
$2 |
| DATA_SOURCE |
3 |
mask |
$3 |
| NOSPEC |
1 |
slot->id |
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
slot->id |
0-32763[c] |
| USER_DATA |
2 |
gfn_offset |
0-2147483711[c] |
| USER_DATA |
3 |
mask |
1-9223372036854775807[c] |
| NO_OVERFLOW_SIMPLE |
0 |
kvm->arch.split_page_header_cache.kmem_cache->object_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
kvm->arch.split_shadow_page_cache.kmem_cache->object_size |
|
| UNITS |
0 |
kvm |
unit_byte |
| UNITS |
2 |
gfn_offset |
unit_page |
| LOCK2 |
0 |
&kvm->mmu_lock |
|
| HALF_LOCKED2 |
|
&kvm->slots_lock |
|
| HALF_LOCKED2 |
0 |
&kvm->slots_lock |
|
| TYPE_LOCK |
|
(struct kvm)->mmu_lock |
|
| TYPE_LOCK |
|
(struct kvm)->slots_lock |
|
