| PARAM_VALUE |
0 |
vcpu |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->kvm |
4096-ptr_max |
| BUF_SIZE |
0 |
vcpu |
s32min-(-2),1-s32max |
| BUF_SIZE |
0 |
vcpu |
s32min-(-2),1-s32max |
| CAPPED_DATA |
0 |
vcpu->kvm |
1 |
| CAPPED_DATA |
0 |
vcpu->kvm->mm |
1 |
| CAPPED_DATA |
0 |
vcpu->kvm->srcu.srcu_ctrp |
1 |
| DATA_SOURCE |
0 |
vcpu |
$0 |
| NOSPEC |
0 |
vcpu->arch.mmio_gfn |
|
| HOST_DATA |
0 |
vcpu->arch.host_debugctl |
0-u64max[c] |
| USER_DATA |
0 |
vcpu->arch.apic->sipi_vector |
1-255[c] |
| USER_DATA |
0 |
vcpu->arch.cr8 |
0-14 |
| USER_DATA |
0 |
vcpu->arch.exception.payload |
0-u64max |
| USER_DATA |
0 |
vcpu->arch.l1_tsc_offset |
0-u64max |
| USER_DATA |
0 |
vcpu->arch.mmio_gfn |
0-4503599627370495[c] |
| USER_DATA |
0 |
vcpu->arch.nmi_queued.counter |
0 |
| USER_DATA |
0 |
vcpu->arch.tsc_offset |
0-u64max |
| USER_DATA |
0 |
vcpu->run->memory_fault.gpa |
0,4096-18446744073709547520[c] |
| USER_DATA |
0 |
*vcpu->arch.emulate_ctxt->fetch.end |
0-255 |
| NO_OVERFLOW_SIMPLE |
0 |
vcpu->arch.pio.count |
|
| NO_OVERFLOW_SIMPLE |
0 |
vcpu->arch.pio.size |
|
| NO_OVERFLOW_SIMPLE |
0 |
vcpu->run->io.count |
|
| NO_OVERFLOW_SIMPLE |
0 |
vcpu->run->io.size |
|
| USER_PTR |
0 |
vcpu->arch.emulate_ctxt->fetch.end |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.intercept_message |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.reserved2 |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.reserved3 |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.reserved4 |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions |
|
| USER_PTR |
0 |
vcpu->arch.pdptrs |
|
| LOCK2 |
0 |
&vcpu->kvm->srcu |
|
| LOCK2 |
0 |
&vcpu->mutex |
|
| TYPE_LOCK |
|
(struct kvm)->srcu |
|
| TYPE_LOCK |
|
(struct kvm_vcpu)->mutex |
|