Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/vmx/nested.c copy_enlightened_to_vmcs12() -> nested_vmx_evmcs()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx $0

arch/x86/kvm/vmx/nested.c copy_vmcs12_to_enlightened() -> nested_vmx_evmcs()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx $0

arch/x86/kvm/vmx/nested.c handle_vmread() -> nested_vmx_evmcs()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx r to_vmx

arch/x86/kvm/vmx/nested.c nested_evmcs_handle_vmclear() -> nested_vmx_evmcs()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx r to_vmx

arch/x86/kvm/vmx/nested.c nested_vmx_prepare_msr_bitmap() -> nested_vmx_evmcs()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx r to_vmx

arch/x86/kvm/vmx/nested.c nested_vmx_run() -> nested_vmx_evmcs()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx r to_vmx

arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> nested_vmx_evmcs()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx r to_vmx

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> nested_vmx_evmcs()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx $0