Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kvm/svm/svm.c svm_prepare_switch_to_guest() -> kvm_set_user_return_msr()

Type Parameter Key Value
PARAM_VALUE 0 slot 0-9
PARAM_VALUE 2 mask u64max
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/svm/svm.c svm_set_msr() -> kvm_set_user_return_msr()

Type Parameter Key Value
PARAM_VALUE 0 slot 0-9,u32max
PARAM_VALUE 2 mask u64max
PREEMPT_ADD <- disables preempt
UNITS 1 value unit_byte

arch/x86/kvm/vmx/tdx.c tdx_prepare_switch_to_guest() -> kvm_set_user_return_msr()

Type Parameter Key Value
PARAM_VALUE 2 mask u64max
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_prepare_switch_to_guest() -> kvm_set_user_return_msr()

Type Parameter Key Value
PARAM_VALUE 0 slot 0-11
CAPPED_DATA 0 slot 1
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/vmx.c vmx_set_guest_uret_msr() -> kvm_set_user_return_msr()

Type Parameter Key Value
PARAM_VALUE 1 value 0-1
DATA_SOURCE 1 value $2
FUZZY_MAX 1 value 1
HARD_MAX 1 value 1
PREEMPT_ADD <- disables preempt