Defined in 2 files as a prototype:
- arch/x86/kvm/vmx/vmx.h, line 356 (as a prototype)
- arch/x86/kvm/vmx/x86_ops.h, line 88 (as a prototype)
Defined in 1 files as a function:
Referenced in 3 files:
- arch/x86/kvm/vmx/main.c, line 637
- arch/x86/kvm/vmx/nested.c, line 3797
- arch/x86/kvm/vmx/vmx.c, line 1945
Smatch caller information:
arch/x86/kvm/vmx/nested.c nested_vmx_run() -> vmx_get_interrupt_shadow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_interrupt_shadow() -> vmx_get_interrupt_shadow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/vmx.c vmx_inject_exception() -> vmx_get_interrupt_shadow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.exception.vector | 1 |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| DATA_SOURCE | 0 | vcpu | $0 |