Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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

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

Type Parameter Key Value
PARAM_VALUE 1 regindex 36
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 regindex 36
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 regindex 36
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 regindex 36
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 regindex 36
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 regindex 36
RX_PATH
TASK_NOT_RUNNING

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 1 regindex 37
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 regindex 24
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 regindex 36
RX_PATH
TASK_NOT_RUNNING