Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/kvm/svm/svm.c sev_es_prevent_msr_access() -> msr_write_intercepted()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 1 | msr | 0-3487,3489-u32max |
arch/x86/kvm/svm/svm.c svm_vcpu_run() -> msr_write_intercepted()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 1 | msr | 72 |
| DATA_SOURCE | 0 | svm | r to_svm |
arch/x86/kvm/svm/svm.c svm_vcpu_run() -> msr_write_intercepted()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->msrpm | 0,4096-ptr_max |
| PARAM_VALUE | 0 | svm->nested.msrpm | 0,4096-ptr_max |
| PARAM_VALUE | 1 | msr | 3221226241 |
| DATA_SOURCE | 0 | svm | r to_svm |
| PARAM_COMPARE | 0 | svm->asid | == $0->vmcb->control.asid |
arch/x86/kvm/vmx/vmx.c __vmx_vcpu_enter_flags() -> msr_write_intercepted()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->loaded_vmcs | 4096-ptr_max |
| PARAM_VALUE | 1 | msr | 72 |
| CAPPED_DATA | 0 | svm->loaded_vmcs->host_state.cr3 | 1 |
| DATA_SOURCE | 0 | svm | $0 |
arch/x86/kvm/vmx/vmx.c vmx_refresh_guest_perf_global_control() -> msr_write_intercepted()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 1 | msr | 911 |
| DATA_SOURCE | 0 | svm | r to_vmx |