Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/apic/x2apic_savic.c native_apic_msr_eoi() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 2059
PARAM_VALUE 1 val 0
NOCHECK_CALL

arch/x86/kernel/apic/x2apic_savic.c savic_setup() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221291320
PARAM_VALUE 1 val 0,2-u64max
CAPPED_DATA 1 val 1
BIT_INFO 1 val 0x3,0xffffffffffffffff
NOCHECK_CALL

arch/x86/kernel/apic/x2apic_savic.c savic_teardown() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221291320
PARAM_VALUE 1 val 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 irq

arch/x86/kernel/cpu/resctrl/pseudo_lock.c resctrl_arch_pseudo_lock_fn() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 420
PARAM_VALUE 1 val 0,5,15
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/cpu/resctrl/pseudo_lock.c resctrl_arch_pseudo_lock_fn() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 3215
PARAM_VALUE 1 val 0,4294967296-18446744069414584320
BIT_INFO 1 val 0x0,0xffffffff00000000
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/cpu/resctrl/pseudo_lock.c resctrl_arch_pseudo_lock_fn() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 3215
PARAM_VALUE 1 val 0
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/cpu/microcode/amd.c __apply_microcode_amd() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221291040
PARAM_VALUE 1 val 4096-18446744073709547520
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/time/clockevents.c arch_inlined_clockevent_set_next_coupled() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 1760
DATA_SOURCE 1 val $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq

arch/x86/kernel/apic/apic.c lapic_next_deadline() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 1760
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq

arch/x86/kernel/apic/apic.c lapic_timer_shutdown() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 1760
PARAM_VALUE 1 val 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/mshyperv.c hv_set_non_nested_msr() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 1073741970
DATA_SOURCE 0 msr $0
DATA_SOURCE 1 val $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 val 0-u64max[c]
UNITS 1 val unit_byte
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

arch/x86/kernel/cpu/mshyperv.c hv_set_non_nested_msr() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 1073741825,1073741857,1073741952,1073741954-1073741956,1073741970,1073742000-1073742001,1073742080-1073742085,1073746048,1073746050-1073746052,1073746066
DATA_SOURCE 0 msr $0
DATA_SOURCE 1 val $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 val 0-u64max[c]
UNITS 1 val unit_byte
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

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

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

arch/x86/events/amd/brs.c set_debug_extn_cfg() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221225743
PARAM_VALUE 1 val 0,8-u64max
BIT_INFO 1 val 0x18,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 val 0,8-u64max

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

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

arch/x86/kernel/cpu/mce/core.c mce_check_crashing_cpu() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 378
PARAM_VALUE 1 val 0
NOCHECK_CALL

arch/x86/boot/startup/sev-startup.c sev_es_wr_ghcb_msr() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221291312
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 val 0-u64max
HALF_LOCKED2 irq

arch/x86/coco/sev/vc-handle.c sev_es_wr_ghcb_msr() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221291312
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

drivers/idle/intel_idle.c __update_spec_ctrl() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 72
DATA_SOURCE 1 val $0
NOCHECK_CALL
LOCK2 irq

arch/x86/coco/sev/core.c sev_es_wr_ghcb_msr() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221291312
PARAM_VALUE 1 val 0-u32max
CAPPED_DATA 1 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 irq

arch/x86/kernel/smpboot.c __update_spec_ctrl() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 72
PARAM_VALUE 1 val 0
DATA_SOURCE 1 val $0
NOCHECK_CALL
LOCK2 irq

arch/x86/coco/sev/noinstr.c sev_es_wr_ghcb_msr() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221291312
PARAM_VALUE 1 val 0-u32max
NOCHECK_CALL

arch/x86/kernel/cpu/intel.c intel_get_microcode_revision() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 139
PARAM_VALUE 1 val 0
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/hyperv/ivm.c wr_ghcb_msr() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221291312
DATA_SOURCE 1 val $0
NOCHECK_CALL
HOST_DATA 1 val 0-u64max

arch/x86/kvm/vmx/vmx.c vmx_disable_fb_clear() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 291
PARAM_VALUE 1 val 0,8-u64max
BIT_INFO 1 val 0x8,0xffffffffffffffff
BIT_INFO 1 val 0x8,0xffffffffffffffff
NOCHECK_CALL
HOST_DATA 1 val 0,8-u64max

arch/x86/kvm/vmx/vmx.c vmx_enable_fb_clear() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 291
BIT_INFO 1 val 0x0,0xfffffffffffffff7
BIT_INFO 1 val 0x0,0xfffffffffffffff7
NOCHECK_CALL
HOST_DATA 1 val 0-u64max[c]

arch/x86/kvm/vmx/vmx.c vmx_l1d_flush() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 267
PARAM_VALUE 1 val 1
NOCHECK_CALL

arch/x86/kernel/cpu/microcode/intel.c __apply_microcode() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 121
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/cpu/microcode/intel.c intel_get_microcode_revision() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 139
PARAM_VALUE 1 val 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/coco/sev/svsm.c sev_es_wr_ghcb_msr() -> __wrmsrq()

Type Parameter Key Value
PARAM_VALUE 0 msr 3221291312
PARAM_VALUE 1 val 0-u32max
CAPPED_DATA 1 val 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags