Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/vmx/nested.c handle_invept() -> nested_vmx_succeed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->last_used_slot_gen | 0-2,9223372034707292161-9223372036854775809,18446744071562067968-u64max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/nested.c handle_invvpid() -> nested_vmx_succeed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->last_used_slot_gen | 0-2,9223372034707292161-9223372036854775809,18446744071562067968-u64max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/nested.c handle_vmclear() -> nested_vmx_succeed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.hyperv_enabled | 1 |
| PARAM_VALUE | 0 | vcpu->arch.pv_eoi.data.hva | 18446612682070032384-u64max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 0 | *vcpu->arch.hyperv->vp_assist_page.intercept_message | 0-255 |
| USER_DATA | 0 | *vcpu->arch.hyperv->vp_assist_page.reserved2 | 0-255 |
| USER_DATA | 0 | *vcpu->arch.hyperv->vp_assist_page.reserved3 | 0-255 |
| USER_DATA | 0 | *vcpu->arch.hyperv->vp_assist_page.reserved4 | 0-255 |
| USER_DATA | 0 | *vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information | 0-255 |
| USER_DATA | 0 | *vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions | 0-255 |
| 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 |
arch/x86/kvm/vmx/nested.c handle_vmptrld() -> nested_vmx_succeed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/nested.c handle_vmptrst() -> nested_vmx_succeed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/nested.c handle_vmread() -> nested_vmx_succeed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/nested.c handle_vmwrite() -> nested_vmx_succeed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->last_used_slot_gen | 0-2,9223372034707292161-9223372036854775809,18446744071562067968-u64max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/nested.c handle_vmxoff() -> nested_vmx_succeed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu->arch.apic | 0,4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/nested.c handle_vmxon() -> nested_vmx_succeed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->last_used_slot_gen | 0-2,9223372034707292161-9223372036854775809,18446744071562067968-u64max |
| DATA_SOURCE | 0 | vcpu | $0 |