Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/vmx/sgx.c evmcs_write64() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8238 |
| PARAM_VALUE | 1 | clean_field | 8119320649249222656 |
| DATA_SOURCE | 0 | field | $0 |
arch/x86/kvm/vmx/nested.c evmcs_read16() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2048,2050,2052,2054,2056,2058,2060,2062,2064 |
| PARAM_VALUE | 1 | clean_field | 0 |
| DATA_SOURCE | 0 | field | $0 |
| HARD_MAX | 0 | field | 2064 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c evmcs_read32() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 17408,17412,17414,17420,17422,18432,18434,18436,18438,18440,18442,18444,18446,18448,18450,18452,18454,18456,18458,18460,18462,18464,18466,18468 |
| PARAM_VALUE | 1 | clean_field | 0 |
| DATA_SOURCE | 0 | field | $0 |
| HARD_MAX | 0 | field | 18468 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c evmcs_read64() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242,10244,10246,10250,10252,10254,10256,10258,24578,24580,24582,25600,25610,26624,26626,26628,26630,26632,26634,26636,26638,26640,26642,26644,26646,26648,26650,26656,26658,26664,26666,26668 |
| PARAM_VALUE | 1 | clean_field | 0 |
| DATA_SOURCE | 0 | field | $0 |
| HARD_MAX | 0 | field | 26668 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c evmcs_write16() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 0,2,2048,2050,2052,2054,2056,2058,2060,2062,2064,2066 |
| PARAM_VALUE | 1 | clean_field | 7826375255503626240 |
| DATA_SOURCE | 0 | field | $0 |
| HARD_MAX | 0 | field | 2066 |
arch/x86/kvm/vmx/nested.c evmcs_write32() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 16384,16386,16390,16392,16396,16398,16400,16402,16404,16406,16408,16410,16412,16414,16420,18432,18434,18436,18438,18440,18442,18444,18446,18448,18450,18452,18454,18456,18458,18460,18462,18464,18466,18468,18474 |
| PARAM_VALUE | 1 | clean_field | 7131867899504951296 |
| DATA_SOURCE | 0 | field | $0 |
| HARD_MAX | 0 | field | 18474 |
arch/x86/kvm/vmx/nested.c evmcs_write64() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8196,8198,8200,8202,8206,8208,8210,8212,8214,8216,8220,8222,8224,8226,8230,8232,8234,8236,8238,8242,10240,10242,10244,10250,10252,10254,10256,10258,24576,24580,24582,26626,26630,26632,26634,26636,26638,26640,26642-u64max |
| PARAM_VALUE | 1 | clean_field | 8094205658420375552 |
| DATA_SOURCE | 0 | field | $0 |
| HARD_MAX | 0 | field | 26668 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/hyperv.c evmcs_read32() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 17420 |
| PARAM_VALUE | 1 | clean_field | 0 |
| DATA_SOURCE | 0 | field | $0 |
arch/x86/kvm/vmx/pmu_intel.c evmcs_read64() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242 |
| PARAM_VALUE | 1 | clean_field | 0 |
| DATA_SOURCE | 0 | field | $0 |
arch/x86/kvm/vmx/pmu_intel.c evmcs_write64() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242,10248 |
| PARAM_VALUE | 1 | clean_field | 6163180631231602688 |
| DATA_SOURCE | 0 | field | $0 |
| HARD_MAX | 0 | field | 10248 |
arch/x86/kvm/vmx/tdx.c evmcs_read32() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 17412 |
| PARAM_VALUE | 1 | clean_field | 0 |
| DATA_SOURCE | 0 | field | $0 |
arch/x86/kvm/vmx/tdx.c evmcs_read64() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 25600 |
| PARAM_VALUE | 1 | clean_field | 0 |
| DATA_SOURCE | 0 | field | $0 |
arch/x86/kvm/vmx/vmx.c evmcs_read16() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 0,2,2048,2050,2052,2054,2056,2058,2060,2062,2064,2066,3072,3074,3076,3078,3080,3082,3084 |
| PARAM_VALUE | 1 | clean_field | 0 |
| DATA_SOURCE | 0 | field | $0 |
arch/x86/kvm/vmx/vmx.c evmcs_read32() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 16384,16386,16388,16390,16392,16396,16398,16400,16402,16404,16406,16408,16410,16412,16414,16416,16418,17408,17410,17412,17414,17416,17418,17420,17422,18432,18434,18436,18438,18440,18442,18444,18446,18448,18450-u64max |
| PARAM_VALUE | 1 | clean_field | 0 |
| DATA_SOURCE | 0 | field | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
arch/x86/kvm/vmx/vmx.c evmcs_read64() -> get_evmcs_offset()
| 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,24576,24578,24580,24582,25600,26624,26626,26628,26630,26632,26634,26636,26638,26640,26642,26644,26646-u64max |
| PARAM_VALUE | 1 | clean_field | 0 |
| DATA_SOURCE | 0 | field | $0 |
arch/x86/kvm/vmx/vmx.c evmcs_write16() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | clean_field | 7767742720066740224 |
| DATA_SOURCE | 0 | field | $0 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/vmx.c evmcs_write32() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | clean_field | 4172874998114074624 |
| DATA_SOURCE | 0 | field | $0 |
arch/x86/kvm/vmx/vmx.c evmcs_write64() -> get_evmcs_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | clean_field | 1011618148992962560 |
| DATA_SOURCE | 0 | field | $0 |
| PREEMPT_ADD |