Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/vmx/nested.c handle_vmread() -> get_vmcs12_field_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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/nested.c handle_vmwrite() -> get_vmcs12_field_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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/nested.c init_vmcs_shadow_fields() -> get_vmcs12_field_offset()
| 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() -> get_vmcs12_field_offset()
| 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 |