Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kernel/cpu/mshyperv.c native_write_msr() -> do_trace_write_msr()

Type Parameter Key Value
PARAM_VALUE 0 msr 1073741952,1073741954-1073741956
PARAM_VALUE 1 val 0,u64max
PARAM_VALUE 2 failed 0
DATA_SOURCE 0 msr $0
DATA_SOURCE 1 val $1
HARD_MAX 0 msr 1073741956
HARD_MAX 1 val u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/kvmclock.c native_write_msr() -> do_trace_write_msr()

Type Parameter Key Value
PARAM_VALUE 0 msr 18,1263947009
PARAM_VALUE 1 val 0
PARAM_VALUE 2 failed 0
DATA_SOURCE 0 msr $0
DATA_SOURCE 1 val $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

arch/x86/xen/enlighten_pv.c native_write_msr() -> do_trace_write_msr()

Type Parameter Key Value
PARAM_VALUE 0 msr 0-371,375-3221225600,3221225605-3221225727,3221225731-u32max
PARAM_VALUE 2 failed 0
CAPPED_DATA 0 msr 1
DATA_SOURCE 0 msr $0
DATA_SOURCE 1 val $1
NOCHECK_CALL

arch/x86/xen/enlighten_pv.c native_write_msr_safe() -> do_trace_write_msr()

Type Parameter Key Value
PARAM_VALUE 0 msr 0-371,375-3221225600,3221225605-3221225727,3221225731-u32max
CAPPED_DATA 0 msr 1
DATA_SOURCE 0 msr $0
DATA_SOURCE 1 val $1
NOCHECK_CALL

arch/x86/kvm/svm/svm.c native_write_msr_safe() -> do_trace_write_msr()

Type Parameter Key Value
PARAM_VALUE 0 msr 378,1025-1045,3221295138
DATA_SOURCE 0 msr $0
DATA_SOURCE 1 val $1
NOCHECK_CALL