Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- arch/x86/kvm/svm/nested.c, line 1148
- arch/x86/kvm/svm/svm.c, line 2253
- arch/x86/kvm/vmx/nested.c
- arch/x86/kvm/x86.c
Smatch caller information:
arch/x86/kvm/vmx/nested.c handle_invept() -> kvm_handle_memory_failure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 2,5 |
| PARAM_VALUE | 2 | e | 5242736733455290368 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | r | r kvm_read_guest_virt |
arch/x86/kvm/vmx/nested.c handle_invvpid() -> kvm_handle_memory_failure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 2,5 |
| PARAM_VALUE | 2 | e | 5796569902717255680 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | r | r kvm_read_guest_virt |
arch/x86/kvm/vmx/nested.c handle_vmptrst() -> kvm_handle_memory_failure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 2,5 |
| PARAM_VALUE | 2 | e | 5648158199659159552 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | r | r kvm_write_guest_virt_system |
arch/x86/kvm/vmx/nested.c handle_vmread() -> kvm_handle_memory_failure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 2,5 |
| PARAM_VALUE | 2 | e | 6407642857713164288 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | r | r kvm_write_guest_virt_system |
arch/x86/kvm/vmx/nested.c handle_vmwrite() -> kvm_handle_memory_failure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 2,5 |
| PARAM_VALUE | 2 | e | 2219489774639230976 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | r | r kvm_read_guest_virt |
arch/x86/kvm/vmx/nested.c nested_vmx_get_vmptr() -> kvm_handle_memory_failure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 2,5 |
| PARAM_VALUE | 2 | e | 99475292632862720 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | r | r kvm_read_guest_virt |
arch/x86/kvm/vmx/nested.c vmx_complete_nested_posted_interrupt() -> kvm_handle_memory_failure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->run->hypercall.ret | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 1 | r | 5 |
| PARAM_VALUE | 2 | e | 0 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/x86.c kvm_handle_invpcid() -> kvm_handle_memory_failure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 2,5 |
| PARAM_VALUE | 2 | e | 695487707573551104 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | r | r kvm_read_guest_virt |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end |
arch/x86/kvm/svm/svm.c vmload_vmsave_interception() -> kvm_handle_memory_failure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->last_used_slot->base_gfn | 0-18446744073709551614 |
| PARAM_VALUE | 0 | *vcpu->arch.emulate_ctxt->dst.valptr | 0-255 |
| PARAM_VALUE | 0 | *vcpu->arch.emulate_ctxt->fetch.data | 0-255 |
| PARAM_VALUE | 0 | *vcpu->arch.emulate_ctxt->src.valptr | 0-255 |
| PARAM_VALUE | 0 | *vcpu->arch.emulate_ctxt->src2.valptr | 0-255 |
| PARAM_VALUE | 1 | r | 5 |
| PARAM_VALUE | 2 | e | 0 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end |
arch/x86/kvm/svm/nested.c nested_svm_vmrun() -> kvm_handle_memory_failure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->last_used_slot | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->last_used_slot_gen | 0-2,9223372034707292161-9223372036854775809,18446744071562067968-u64max |
| PARAM_VALUE | 0 | *vcpu->arch.emulate_ctxt->dst.valptr | 0-255 |
| PARAM_VALUE | 0 | *vcpu->arch.emulate_ctxt->fetch.data | 0-255 |
| PARAM_VALUE | 0 | *vcpu->arch.emulate_ctxt->src.valptr | 0-255 |
| PARAM_VALUE | 0 | *vcpu->arch.emulate_ctxt->src2.valptr | 0-255 |
| PARAM_VALUE | 1 | r | 5 |
| PARAM_VALUE | 2 | e | 0 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| 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.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 |