Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

arch/x86/xen/pmu.c xen_amd_read_pmc() -> native_read_msr_safe()

Type Parameter Key Value
PARAM_VALUE 1 p 1443851055658643456
NOCHECK_CALL

arch/x86/xen/pmu.c xen_intel_read_pmc() -> native_read_msr_safe()

Type Parameter Key Value
PARAM_VALUE 1 p 2393636695494557696
NOCHECK_CALL

arch/x86/xen/enlighten_pv.c xen_do_read_msr() -> native_read_msr_safe()

Type Parameter Key Value
PARAM_VALUE 1 p 4457228060902940672
PARAM_VALUE 1 *p 0
DATA_SOURCE 0 msr $0

arch/x86/kvm/svm/svm.c is_erratum_383() -> native_read_msr_safe()

Type Parameter Key Value
PARAM_VALUE 0 msr 1025
PARAM_VALUE 1 p 6605749419188453376

arch/x86/kvm/svm/svm.c is_erratum_383() -> native_read_msr_safe()

Type Parameter Key Value
PARAM_VALUE 0 msr 378
PARAM_VALUE 1 p 6605749419188453376
PARAM_VALUE 1 *p 13114482114902949909

arch/x86/kvm/svm/svm.c svm_init_erratum_383() -> native_read_msr_safe()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221295138
PARAM_VALUE 1 p 4076715941381701632

arch/x86/kvm/svm/svm.c svm_init_os_visible_workarounds() -> native_read_msr_safe()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221291328
PARAM_VALUE 1 p 1933087133472866304

arch/x86/kvm/svm/svm.c svm_init_os_visible_workarounds() -> native_read_msr_safe()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221291329
PARAM_VALUE 1 p 8420820235005214720