Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/kvm/vmx/sgx.c get_evmcs_offset() -> evmcs_field_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8238 |
| PARAM_VALUE | 1 | clean_field | 8119320649249222656 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | clean_field | $1 |
arch/x86/kvm/vmx/nested.c get_evmcs_offset() -> evmcs_field_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 0,2,2048,2050,2052,2054,2056,2058,2060,2062,2064,2066,8196,8198,8200,8202,8206,8208,8210,8212,8214,8216,8220,8222,8224,8226,8230,8232,8234,8236,8238,8242,10240,10242,10244,10246,10250,10252,10254,10256,10258,16384-u64max |
| PARAM_VALUE | 1 | clean_field | 0,7131867899504951296,7826375255503626240,8094205658420375552 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | clean_field | $1 |
| HARD_MAX | 0 | field | u64max |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c handle_vmread() -> evmcs_field_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | clean_field | 0 |
| CAPPED_DATA | 0 | field | 1 |
| CAPPED_DATA | 0 | field | 1 |
| DATA_SOURCE | 0 | field | r kvm_register_read |
| USER_DATA | 0 | field | 0-u64max |
arch/x86/kvm/vmx/hyperv.c get_evmcs_offset() -> evmcs_field_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 17420 |
| PARAM_VALUE | 1 | clean_field | 0 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | clean_field | $1 |
arch/x86/kvm/vmx/pmu_intel.c get_evmcs_offset() -> evmcs_field_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242,10248 |
| PARAM_VALUE | 1 | clean_field | 0,6163180631231602688 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | clean_field | $1 |
| HARD_MAX | 0 | field | 10248 |
arch/x86/kvm/vmx/tdx.c get_evmcs_offset() -> evmcs_field_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 17412,25600 |
| PARAM_VALUE | 1 | clean_field | 0 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | clean_field | $1 |
| HARD_MAX | 0 | field | 25600 |
arch/x86/kvm/vmx/vmx.c get_evmcs_offset() -> evmcs_field_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | clean_field | 0,1011618148992962560,4172874998114074624,7767742720066740224 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | clean_field | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |