Defined in 1 files as a function:
Defined in 1 files as a enum:
Referenced in 2 files:
Smatch caller information:
arch/x86/kvm/vmx/nested.c init_vmcs_shadow_fields() -> vmcs_field_width()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2064,2066,3080,3082,9216-9217,16384,16386,16388,16406,16408,16410,16412,17410,17412,17414,17416,17418,17420,18454,18456,18468,18478,24576,24580,24582,25600,25610,26624,26626,26628,26652,26654,26656,27654,27656 |
| LOCK2 | _T->lock |
arch/x86/kvm/vmx/nested.c init_vmcs_shadow_fields() -> vmcs_field_width()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2064,2066,3080,3082,9216-9217,16384,16386,16388,16406,16408,16410,16412,17410,17412,17414,17416,17418,17420,18454,18456,18468,18478,24576,24580,24582,25600,25610,26624,26626,26628,26652,26654,26656,27654,27656 |
| LOCK2 | _T->lock |
arch/x86/kvm/vmx/nested.c vmcs12_read_any() -> vmcs_field_width()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | field | $1 |
| NOSPEC | 0 | field | |
| USER_DATA | 0 | field | 0-u64max[c] |
arch/x86/kvm/vmx/nested.c vmcs12_write_any() -> vmcs_field_width()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | field | $1 |
| NOSPEC | 0 | field | |
| NOSPEC | 0 | field | |
| PREEMPT_ADD | |||
| USER_DATA | 0 | field | 0-u64max[c] |