Defined in 1 files as a macro:

Defined in 3 files as a function:

Referenced in 62 files:

Smatch caller information:

drivers/video/fbdev/geode/suspend_gx.c gx_set_dotpll() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 0 msr 1275068437
PARAM_VALUE 1 low 1-u32max
DATA_SOURCE 2 high $0
BIT_INFO 1 low 0x1,0xffff7fff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 low 1-u32max[c]
LOCK2 global &console_sem

drivers/video/fbdev/geode/suspend_gx.c gx_set_dotpll() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 0 msr 1275068437
PARAM_VALUE 1 low 0,2-u32max
DATA_SOURCE 2 high $0
BIT_INFO 1 low 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 low 0,2-u32max[c]
LOCK2 global &console_sem

drivers/video/fbdev/geode/lxfb_ops.c lx_graphics_enable() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 0 msr 1207967761
PARAM_VALUE 1 low 3758096383
PARAM_VALUE 2 high 63
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &minfo->crtc2.lock

drivers/video/fbdev/geode/lxfb_ops.c lx_set_dotpll() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 0 msr 1275068437
DATA_SOURCE 2 high $0
BIT_INFO 1 low 0x1,0xfeff7fff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 low 0-u32max[c]
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/geode/lxfb_ops.c lx_set_dotpll() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 0 msr 1275068437
PARAM_VALUE 1 low 0,2-u32max
BIT_INFO 1 low 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 low 0,2-u32max[c]
HOST_DATA 2 high 0-u32max
HALF_LOCKED2 global &console_sem

drivers/char/hw_random/via-rng.c via_rng_init() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 0 msr 4363
PARAM_VALUE 1 low 0,256-u32max
BIT_INFO 1 low 0x140,0xff801ff0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 low 0,256-u32max[c]
HOST_DATA 2 high 0-u32max
LOCK2 global &rng_mutex
HALF_LOCKED2 &of->mutex

drivers/gpio/gpio-cs5535.c cs5535_gpio_set_irq() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 0 msr 1363148835
NOCHECK_CALL
HOST_DATA 1 low 0-u32max[c]
HOST_DATA 2 high 0-u32max

drivers/misc/cs5535-mfgpt.c cs5535_mfgpt_set_irq() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 0 msr 1363148834
NOCHECK_CALL
HOST_DATA 1 low 0-u32max
HOST_DATA 2 high 0-u32max

drivers/misc/cs5535-mfgpt.c cs5535_mfgpt_toggle_event() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 0 msr 1363148840-1363148841
FUZZY_MAX 0 msr 1363148841
BIT_INFO 0 msr 0x51400028,0x7fffffff
HARD_MAX 0 msr 1363148841
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 low 0-u32max
HOST_DATA 2 high 0-u32max

drivers/misc/cs5535-mfgpt.c reset_all_timers() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 0 msr 1363148843
PARAM_VALUE 1 low 255
PARAM_VALUE 2 high 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/ata/pata_cs5535.c cs5535_set_dmamode() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 2 high 0
NOCHECK_CALL
HOST_DATA 1 low 0,2147483648[c]

drivers/ata/pata_cs5535.c cs5535_set_piomode() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 2 high 0
BIT_INFO 1 low 0x0,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ap->host->eh_mutex

drivers/ata/pata_cs5535.c cs5535_set_piomode() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 2 high 0
BIT_INFO 1 low 0x0,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ap->host->eh_mutex

drivers/ata/pata_cs5535.c cs5535_set_piomode() -> wrmsr()

Type Parameter Key Value
PARAM_VALUE 2 high 0
CAPPED_DATA 1 low 1
BIT_INFO 1 low 0x80000000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 low 0-u32max
HALF_LOCKED2 &ap->host->eh_mutex