Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_check_and_set_polarity() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->input 0,2-u32max
PARAM_VALUE 0 video->reset->acquired 0-1
PARAM_VALUE 0 video->reset->array 0-1
PARAM_VALUE 0 video->reset->rcdev 0-s64max
PARAM_VALUE 0 video->reset->shared 0-1
PARAM_VALUE 0 video->scu->async 0-1
PARAM_VALUE 0 video->scu->cache_dirty 0-1
PARAM_VALUE 0 video->v4l2_input_status 2
PARAM_VALUE 1 reg 152
BUF_SIZE 0 video s32min-(-1),1-s32max
BUF_SIZE 0 video s32min-(-1),1-s32max
DATA_SOURCE 0 video $0
STR_LEN 0 video (-1),5-9,12
STR_LEN 0 video (-1),5-9,12
MEM_ZERO 0 &video->perf
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 video->frame_bottom 0-u32max[c]
HOST_DATA 0 video->frame_left 1-u32max[c]
HOST_DATA 0 video->frame_right 0-4294967294[c]
HOST_DATA 0 video->frame_top 0-u32max[c]
USER_DATA 0 video->input 0
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_check_and_set_polarity() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->input 0,2-u32max
PARAM_VALUE 0 video->reset->acquired 0-1
PARAM_VALUE 0 video->reset->array 0-1
PARAM_VALUE 0 video->reset->rcdev 0-s64max
PARAM_VALUE 0 video->reset->shared 0-1
PARAM_VALUE 0 video->scu->async 0-1
PARAM_VALUE 0 video->scu->cache_dirty 0-1
PARAM_VALUE 0 video->v4l2_input_status 2
PARAM_VALUE 1 reg 8
BUF_SIZE 0 video s32min-(-1),1-s32max
BUF_SIZE 0 video s32min-(-1),1-s32max
DATA_SOURCE 0 video $0
STR_LEN 0 video (-1),5-9,12
STR_LEN 0 video (-1),5-9,12
MEM_ZERO 0 &video->perf
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 video->frame_bottom 0-u32max[c]
HOST_DATA 0 video->frame_left 1-u32max[c]
HOST_DATA 0 video->frame_right 0-4294967294[c]
HOST_DATA 0 video->frame_top 0-u32max[c]
USER_DATA 0 video->input 0
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_debugfs_show() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 1 reg 8
BUF_SIZE 0 video s32min-(-2),1-s32max
BUF_SIZE 0 video s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 video unit_array_size
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_get_resolution_vga() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->input 0,2-u32max
PARAM_VALUE 0 video->v4l2_input_status 2
PARAM_VALUE 1 reg 152
BUF_SIZE 0 video s32min-(-1),1-s32max
BUF_SIZE 0 video s32min-(-1),1-s32max
DATA_SOURCE 0 video $0
STR_LEN 0 video (-1)
STR_LEN 0 video (-1)
MEM_ZERO 0 &video->perf
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 video->frame_bottom 0-u32max[c]
HOST_DATA 0 video->frame_left 1-u32max[c]
HOST_DATA 0 video->frame_right 0-4294967294[c]
HOST_DATA 0 video->frame_top 0-u32max[c]
USER_DATA 0 video->input 0
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_get_resolution_vga() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->input 0,2-u32max
PARAM_VALUE 0 video->v4l2_input_status 2
PARAM_VALUE 1 reg 144
BUF_SIZE 0 video s32min-(-1),1-s32max
BUF_SIZE 0 video s32min-(-1),1-s32max
DATA_SOURCE 0 video $0
STR_LEN 0 video (-1)
STR_LEN 0 video (-1)
MEM_ZERO 0 &video->perf
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 video->frame_bottom 0-u32max[c]
HOST_DATA 0 video->frame_left 1-u32max[c]
HOST_DATA 0 video->frame_right 0-4294967294[c]
HOST_DATA 0 video->frame_top 0-u32max[c]
USER_DATA 0 video->input 0
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_get_resolution_vga() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->input 0,2-u32max
PARAM_VALUE 0 video->v4l2_input_status 2
PARAM_VALUE 1 reg 148
BUF_SIZE 0 video s32min-(-1),1-s32max
BUF_SIZE 0 video s32min-(-1),1-s32max
DATA_SOURCE 0 video $0
STR_LEN 0 video (-1)
STR_LEN 0 video (-1)
MEM_ZERO 0 &video->perf
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 video->frame_bottom 0-u32max[c]
HOST_DATA 0 video->frame_left 1-u32max[c]
HOST_DATA 0 video->frame_right 0-4294967294[c]
HOST_DATA 0 video->frame_top 0-u32max[c]
USER_DATA 0 video->input 0
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_get_timings() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->input 0,2-u32max
PARAM_VALUE 0 video->reset->acquired 0-1
PARAM_VALUE 0 video->reset->array 0-1
PARAM_VALUE 0 video->reset->rcdev 0-s64max
PARAM_VALUE 0 video->reset->shared 0-1
PARAM_VALUE 0 video->scu->async 0-1
PARAM_VALUE 0 video->scu->cache_dirty 0-1
PARAM_VALUE 0 video->v4l2_input_status 0
PARAM_VALUE 1 reg 152
BUF_SIZE 0 video s32min-(-1),1-s32max
BUF_SIZE 0 video s32min-(-1),1-s32max
CAPPED_DATA 0 video->frame_left 1
CAPPED_DATA 0 video->frame_top 1
DATA_SOURCE 0 video $0
STR_LEN 0 video (-1),5-9,12
STR_LEN 0 video (-1),5-9,12
MEM_ZERO 0 &video->perf
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 video->frame_bottom 0-u32max[c]
HOST_DATA 0 video->frame_left 0-u32max[c]
HOST_DATA 0 video->frame_right 0-u32max[c]
HOST_DATA 0 video->frame_top 0-u32max[c]
USER_DATA 0 video->input 0
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_get_timings() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->input 0,2-u32max
PARAM_VALUE 0 video->reset->acquired 0-1
PARAM_VALUE 0 video->reset->array 0-1
PARAM_VALUE 0 video->reset->rcdev 0-s64max
PARAM_VALUE 0 video->reset->shared 0-1
PARAM_VALUE 0 video->scu->async 0-1
PARAM_VALUE 0 video->scu->cache_dirty 0-1
PARAM_VALUE 0 video->v4l2_input_status 0
PARAM_VALUE 1 reg 156
BUF_SIZE 0 video s32min-(-1),1-s32max
BUF_SIZE 0 video s32min-(-1),1-s32max
CAPPED_DATA 0 video->frame_left 1
CAPPED_DATA 0 video->frame_top 1
DATA_SOURCE 0 video $0
STR_LEN 0 video (-1),5-9,12
STR_LEN 0 video (-1),5-9,12
MEM_ZERO 0 &video->perf
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 video->frame_bottom 0-u32max[c]
HOST_DATA 0 video->frame_left 0-u32max[c]
HOST_DATA 0 video->frame_right 0-u32max[c]
HOST_DATA 0 video->frame_top 0-u32max[c]
USER_DATA 0 video->input 0
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_get_timings() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->input 0,2-u32max
PARAM_VALUE 0 video->reset->acquired 0-1
PARAM_VALUE 0 video->reset->array 0-1
PARAM_VALUE 0 video->reset->rcdev 0-s64max
PARAM_VALUE 0 video->reset->shared 0-1
PARAM_VALUE 0 video->scu->async 0-1
PARAM_VALUE 0 video->scu->cache_dirty 0-1
PARAM_VALUE 0 video->v4l2_input_status 0
PARAM_VALUE 1 reg 160
BUF_SIZE 0 video s32min-(-1),1-s32max
BUF_SIZE 0 video s32min-(-1),1-s32max
CAPPED_DATA 0 video->frame_left 1
CAPPED_DATA 0 video->frame_top 1
DATA_SOURCE 0 video $0
STR_LEN 0 video (-1),5-9,12
STR_LEN 0 video (-1),5-9,12
MEM_ZERO 0 &video->perf
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 video->frame_bottom 0-u32max[c]
HOST_DATA 0 video->frame_left 0-u32max[c]
HOST_DATA 0 video->frame_right 0-u32max[c]
HOST_DATA 0 video->frame_top 0-u32max[c]
USER_DATA 0 video->input 0
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_irq() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 1 reg 776
DATA_SOURCE 0 video $1
RX_PATH
TASK_NOT_RUNNING

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_irq() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 772
DATA_SOURCE 0 video $1
RX_PATH
TASK_NOT_RUNNING

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_irq() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
DATA_SOURCE 0 video $1
RX_PATH
TASK_NOT_RUNNING

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_start_frame() -> aspeed_video_read()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 4
BUF_SIZE 0 video s32min-(-1),1-s32max
BUF_SIZE 0 video s32min-(-1),1-s32max
DATA_SOURCE 0 video $0
RX_PATH
TASK_NOT_RUNNING