Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/entry/common.c fred_update_rsp0() -> wrmsrns()

Type Parameter Key Value
PARAM_VALUE 0 msr 460
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/process.c fred_update_rsp0() -> wrmsrns()

Type Parameter Key Value
PARAM_VALUE 0 msr 460
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/cpu/mce/core.c fred_update_rsp0() -> wrmsrns()

Type Parameter Key Value
PARAM_VALUE 0 msr 460
NOCHECK_CALL

arch/x86/kernel/traps.c fred_update_rsp0() -> wrmsrns()

Type Parameter Key Value
PARAM_VALUE 0 msr 460
NOCHECK_CALL

arch/x86/coco/sev/vc-handle.c fred_update_rsp0() -> wrmsrns()

Type Parameter Key Value
PARAM_VALUE 0 msr 460
NOCHECK_CALL

arch/x86/entry/syscall_32.c fred_update_rsp0() -> wrmsrns()

Type Parameter Key Value
PARAM_VALUE 0 msr 460
NOCHECK_CALL
LOCK2 irq

arch/x86/entry/syscall_64.c fred_update_rsp0() -> wrmsrns()

Type Parameter Key Value
PARAM_VALUE 0 msr 460
NOCHECK_CALL
LOCK2 irq

arch/x86/kvm/vmx/vmx.c vmx_write_guest_host_msr() -> wrmsrns()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221225730
DATA_SOURCE 0 msr $1
DATA_SOURCE 1 val $2
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 1 val unit_byte