Defined in 2 files as a function:
- arch/x86/kvm/vmx/vmx_onhyperv.h, line 72 (as a function)
- arch/x86/kvm/vmx/vmx_onhyperv.h, line 127 (as a function)
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/vmx/nested.c vmcs_read64() -> evmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242,10244,10246,10250,10252,10254,10256,10258 |
| DATA_SOURCE | 0 | field | $0 |
| HARD_MAX | 0 | field | 10258 |
arch/x86/kvm/vmx/nested.c vmcs_readl() -> evmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24578,24580,24582,25600,25610,26624,26626,26628,26630,26632,26634,26636,26638,26640,26642,26644,26646,26648,26650,26656,26658,26664,26666,26668 |
| DATA_SOURCE | 0 | field | $0 |
| HARD_MAX | 0 | field | 26668 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/pmu_intel.c vmcs_read64() -> evmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242 |
| DATA_SOURCE | 0 | field | $0 |
arch/x86/kvm/vmx/tdx.c vmcs_readl() -> evmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 25600 |
| DATA_SOURCE | 0 | field | $0 |
arch/x86/kvm/vmx/vmx.c vmcs_read64() -> evmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8208,8210,8212,8218,8234,8242,8244,9216,10242,10244,10246,10248,10250,10252,10254,10256,10258,11264,11266,11268 |
| DATA_SOURCE | 0 | field | $0 |
| HARD_MAX | 0 | field | 11268 |
arch/x86/kvm/vmx/vmx.c vmcs_readl() -> evmcs_read64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24576,24578,24580,24582,25600,26624,26626,26628,26630,26632,26634,26636,26638,26640,26642,26644,26646,26648,26650,26652,26654,26656,26658,26660,26662,26664,26666,26668,27648,27650,27652,27654,27656,27658,27660-u64max |
| DATA_SOURCE | 0 | field | $0 |