Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/vmx/vmx.c vmx_setup_uret_msrs() -> vmx_setup_uret_msr()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
PARAM_VALUE 1 msr 3221225601
DATA_SOURCE 0 vmx $0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_setup_uret_msrs() -> vmx_setup_uret_msr()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
PARAM_VALUE 1 msr 3221225602
DATA_SOURCE 0 vmx $0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_setup_uret_msrs() -> vmx_setup_uret_msr()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
PARAM_VALUE 1 msr 3221225604
DATA_SOURCE 0 vmx $0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_setup_uret_msrs() -> vmx_setup_uret_msr()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
PARAM_VALUE 1 msr 3221225600
DATA_SOURCE 0 vmx $0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_setup_uret_msrs() -> vmx_setup_uret_msr()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
PARAM_VALUE 1 msr 3221225731
DATA_SOURCE 0 vmx $0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_setup_uret_msrs() -> vmx_setup_uret_msr()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
PARAM_VALUE 1 msr 290
DATA_SOURCE 0 vmx $0
NOCHECK_CALL