Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/imsttfb.c imsttfb_blank() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 24
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u32max
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_copyarea() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c imsttfb_copyarea() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c imsttfb_copyarea() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c imsttfb_copyarea() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c imsttfb_copyarea() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 val unit_byte

drivers/video/fbdev/imsttfb.c imsttfb_copyarea() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 10
PARAM_VALUE 2 val 5,133
FUZZY_MAX 2 val 5
BIT_INFO 2 val 0x5,0x85
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 val unit_byte
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 8
PARAM_VALUE 2 val u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 9
PARAM_VALUE 2 val u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 val 0-268435455[c]
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 10
PARAM_VALUE 2 val 2112
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 val unit_byte
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 val unit_byte
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_fillrect() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 10
PARAM_VALUE 2 val 262149
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/imsttfb.c imsttfb_ioctl() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 0-1023
NOCHECK_CALL
USER_DATA 1 regindex 0-1023
USER_DATA 2 val 0-u32max
LOCK2 &info->lock
TYPE_LOCK (struct fb_info)->lock

drivers/video/fbdev/imsttfb.c imsttfb_ioctl() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 0-1023
NOCHECK_CALL
USER_DATA 1 regindex 0-1023
USER_DATA 2 val 0-u32max
LOCK2 &info->lock
TYPE_LOCK (struct fb_info)->lock

drivers/video/fbdev/imsttfb.c init_imstt() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 24
PARAM_VALUE 2 val 0,2-u32max
BIT_INFO 2 val 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0,2-u32max

drivers/video/fbdev/imsttfb.c init_imstt() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 25
PARAM_VALUE 2 val 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 13
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 14
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 15
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 17
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 18
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 19
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 23
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 20
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 21
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 22
PARAM_VALUE 2 val 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 30
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 31
PARAM_VALUE 2 val 2432
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 34
PARAM_VALUE 2 val 17
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 26
PARAM_VALUE 2 val 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 28
PARAM_VALUE 2 val 255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 29
PARAM_VALUE 2 val 115
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 26
PARAM_VALUE 2 val 512
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 28
PARAM_VALUE 2 val 511
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 29
PARAM_VALUE 2 val 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 35
PARAM_VALUE 2 val 1437,1949,86237,86493,86749,87005
FUZZY_MAX 2 val 87005
BIT_INFO 2 val 0x9d,0x157dd
HARD_MAX 2 val 87005
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 27
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 val unit_byte

drivers/video/fbdev/imsttfb.c set_imstt_regvals() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 24
PARAM_VALUE 2 val 6017,6019,6021,6025,6065,6067,6069,6073
FUZZY_MAX 2 val 6073
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imsttfb.c set_offset() -> write_reg_le32()

Type Parameter Key Value
PARAM_VALUE 1 regindex 25
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem