Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/vmx/nested.c handle_vmclear() -> nested_vmx_get_vmptr()

Type Parameter Key Value
PARAM_VALUE 1 vmpointer 2853018119300866048
PARAM_VALUE 2 ret 8487820912511492096
DATA_SOURCE 0 vcpu $0

arch/x86/kvm/vmx/nested.c handle_vmptrld() -> nested_vmx_get_vmptr()

Type Parameter Key Value
PARAM_VALUE 1 vmpointer 8629036935344103424
PARAM_VALUE 2 ret 5523205808182145024
DATA_SOURCE 0 vcpu $0

arch/x86/kvm/vmx/nested.c handle_vmxon() -> nested_vmx_get_vmptr()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 1 vmpointer 2968053134988914688
PARAM_VALUE 2 ret 5145177819391823872
DATA_SOURCE 0 vcpu $0