Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
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
NOCHECK_CALL
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_enable_mode_detect()

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
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
NOCHECK_CALL
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