Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/kvm/vmx/nested.c nested_vmx_enter_non_root_mode() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10258 |
arch/x86/kvm/vmx/nested.c nested_vmx_get_vmcs01_guest_efer() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10246 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/nested.c nested_vmx_restore_host_state() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10244 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10250 |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10252 |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10254 |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10256 |
arch/x86/kvm/vmx/nested.c vmx_guest_debugctl_read() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242 |
arch/x86/kvm/vmx/nested.c vmx_reload_guest_debugctl() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/pmu_intel.c vmx_guest_debugctl_read() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8244 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10250 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10252 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10254 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10256 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10246 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10244 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10248 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10258 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 11266 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 11264 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 11268 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8208 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8242 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8212 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8210 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8218 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8234 |
arch/x86/kvm/vmx/vmx.c ept_save_pdptrs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10250 |
arch/x86/kvm/vmx/vmx.c ept_save_pdptrs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10252 |
arch/x86/kvm/vmx/vmx.c ept_save_pdptrs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10254 |
arch/x86/kvm/vmx/vmx.c ept_save_pdptrs() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10256 |
arch/x86/kvm/vmx/vmx.c handle_ept_misconfig() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 9216 |
arch/x86/kvm/vmx/vmx.c handle_ept_violation() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 9216 |
arch/x86/kvm/vmx/vmx.c vmx_get_msr() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10258 |
arch/x86/kvm/vmx/vmx.c vmx_guest_debugctl_read() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242 |
arch/x86/kvm/vmx/vmx.c vmx_refresh_guest_perf_global_control() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10248 |
arch/x86/kvm/vmx/vmx.c vmx_reload_guest_debugctl() -> vmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242 |