Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kvm/svm/svm.c svm_hardware_setup() -> kvm_add_user_return_msr()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221225731
LOCK2 _T->lock

arch/x86/kvm/vmx/vmx.c vmx_setup_user_return_msrs() -> kvm_add_user_return_msr()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 _T->lock