Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2064 |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2048 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2050 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2052 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2054 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2056 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2058 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2060 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2062 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c vmx_complete_nested_posted_interrupt() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2064 |
arch/x86/kvm/vmx/nested.c vmx_get_rvi() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2064 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2064 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 3074 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 3076 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 3078 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 3072 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 3080 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 3082 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 3084 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2064 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 0 |
arch/x86/kvm/vmx/vmx.c vmx_dump_sel() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2048,2050,2052,2054,2056,2058,2060,2062 |
| DATA_SOURCE | 0 | field | $1 |
| HARD_MAX | 0 | field | 2062 |
arch/x86/kvm/vmx/vmx.c vmx_flush_pml_buffer() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2066 |
arch/x86/kvm/vmx/vmx.c vmx_hwapic_isr_update() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2064 |
arch/x86/kvm/vmx/vmx.c vmx_read_guest_seg_selector() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2048,2050,2052,2054,2056,2058,2060,2062 |
arch/x86/kvm/vmx/vmx.c vmx_set_rvi() -> vmcs_read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 2064 |