Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/kvm/vmx/sgx.c vmcs_write64() -> __vmcs_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8238 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | value | $1 |
| BIT_INFO | 1 | value | 0xffffffffffff0000,0xffffffffffffffff |
| BIT_INFO | 1 | value | 0xffffffffffff0000,0xffffffffffffffff |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c copy_vmcs12_to_shadow() -> __vmcs_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | value | r vmcs12_read_any |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c handle_vmwrite() -> __vmcs_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 9216-9217 |
| CAPPED_DATA | 0 | field | 1 |
| CAPPED_DATA | 0 | field | 1 |
| DATA_SOURCE | 0 | field | r kvm_register_read |
| NOSPEC | 0 | field | |
| NOSPEC | 0 | field | |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| USER_DATA | 0 | field | 9216-9217[c] |
| USER_DATA | 1 | value | 0-u64max |
arch/x86/kvm/vmx/nested.c vmcs_write16() -> __vmcs_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 0,2,2048,2050,2052,2054,2056,2058,2060,2062,2064,2066 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | value | $1 |
| HARD_MAX | 0 | field | 2066 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c vmcs_write32() -> __vmcs_writel()
| 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 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | value | $1 |
| HARD_MAX | 0 | field | 18474 |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/nested.c vmcs_write64() -> __vmcs_writel()
| 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 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | value | $1 |
| HARD_MAX | 0 | field | 10258 |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | value | 0-u64max[c] |
| USER_DATA | 1 | value | 0-u64max |
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/nested.c vmcs_writel() -> __vmcs_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24576,24580,24582,26626,26630,26632,26634,26636,26638,26640,26642,26644,26646,26648,26658,26660,26662,26664,26666,26668 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | value | $1 |
| HARD_MAX | 0 | field | 26668 |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/pmu_intel.c vmcs_write64() -> __vmcs_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242,10248 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | value | $1 |
| HARD_MAX | 0 | field | 10248 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmcs_clear_bits() -> __vmcs_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 18468 |
| PARAM_VALUE | 1 | value | 0-4294967287 |
| CAPPED_DATA | 1 | value | 1 |
| DATA_SOURCE | 0 | field | $0 |
| BIT_INFO | 1 | value | 0x0,0xfffffff7 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmcs_set_bits() -> __vmcs_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 18468 |
| PARAM_VALUE | 1 | value | 0,8-u64max |
| DATA_SOURCE | 0 | field | $0 |
| BIT_INFO | 1 | value | 0x8,0xffffffffffffffff |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmcs_write16() -> __vmcs_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | value | $1 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/vmx.c vmcs_write32() -> __vmcs_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | value | $1 |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | value | 0-u32max |
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/vmx.c vmcs_write64() -> __vmcs_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8196,8198,8200,8202,8206,8208,8210,8212,8214,8216,8218,8220,8222,8224,8226,8234,8236,8242,8244,8258,10240,10242,10244,10246,10248,10250,10252,10254,10256,10258,10260,11264,11266,11268 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | value | $1 |
| HARD_MAX | 0 | field | 11268 |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | value | 0-u64max[c] |
| USER_DATA | 1 | value | 0-u64max |
| UNITS | 1 | value | unit_byte |
| HALF_LOCKED2 | &vcpu->kvm->mmu_lock |
arch/x86/kvm/vmx/vmx.c vmcs_writel() -> __vmcs_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | value | (-1),4096 |
| DATA_SOURCE | 0 | field | $0 |
| DATA_SOURCE | 1 | value | $1 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | value | 0-u64max[c] |
| USER_DATA | 1 | value | 0-u64max[c] |
| UNITS | 1 | value | unit_byte |