Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/events/intel/core.c intel_pmu_check_extra_regs() -> check_msr()

Type Parameter Key Value
PARAM_VALUE 0 msr 422-423,992-995,1014-1015,3237-3243,3348,4904-4905
PARAM_VALUE 1 mask 17
RX_PATH
TASK_NOT_RUNNING

arch/x86/events/intel/core.c intel_pmu_init() -> check_msr()

Type Parameter Key Value
PARAM_VALUE 0 msr 457
PARAM_VALUE 1 mask 3

arch/x86/events/intel/core.c intel_pmu_init() -> check_msr()

Type Parameter Key Value
PARAM_VALUE 0 msr 0-319,1664-1919,5376-5631
PARAM_VALUE 1 mask u16max

arch/x86/events/intel/core.c intel_pmu_init() -> check_msr()

Type Parameter Key Value
PARAM_VALUE 0 msr 0-351,1728-1983,5632-5887
PARAM_VALUE 1 mask u16max