Defined in 1 files as a function:
Referenced in 5 files:
- arch/x86/kvm/svm/nested.c, line 839
- arch/x86/kvm/svm/svm.c
- arch/x86/kvm/vmx/nested.c
- arch/x86/kvm/vmx/vmx.c
- arch/x86/kvm/x86.c, line 2984
Smatch caller information:
arch/x86/kvm/vmx/nested.c nested_vmx_inject_exception_vmexit() -> kvm_exception_is_soft()
| Type | Parameter | Key | Value |
|---|
arch/x86/kvm/vmx/nested.c vmcs12_save_pending_event() -> kvm_exception_is_soft()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr | 0-255 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/x86.c kvm_vcpu_ioctl_x86_get_vcpu_events() -> kvm_exception_is_soft()
| Type | Parameter | Key | Value |
|---|---|---|---|
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/svm/svm.c svm_complete_soft_interrupt() -> kvm_exception_is_soft()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | nr | $1 |
arch/x86/kvm/svm/svm.c svm_inject_exception() -> kvm_exception_is_soft()
| Type | Parameter | Key | Value |
|---|
arch/x86/kvm/vmx/vmx.c vmx_inject_exception() -> kvm_exception_is_soft()
| Type | Parameter | Key | Value |
|---|
arch/x86/kvm/vmx/vmx.c vmx_inject_exception() -> kvm_exception_is_soft()
| Type | Parameter | Key | Value |
|---|
arch/x86/kvm/svm/nested.c is_evtinj_soft() -> kvm_exception_is_soft()
| Type | Parameter | Key | Value |
|---|---|---|---|
| USER_DATA | 0 | nr | 0-255[c] |