Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 772
PARAM_VALUE 2 clear 0
PARAM_VALUE 3 bits 16
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
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_enable_mode_detect() -> aspeed_video_update()

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 4
PARAM_VALUE 2 clear 1
PARAM_VALUE 3 bits 0
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
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_enable_mode_detect() -> aspeed_video_update()

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 4
PARAM_VALUE 2 clear 0
PARAM_VALUE 3 bits 1
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
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_update()

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 8
PARAM_VALUE 2 clear 3
PARAM_VALUE 3 bits 0
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_update()

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 0
PARAM_VALUE 1 reg 772
PARAM_VALUE 2 clear 0
PARAM_VALUE 3 bits 1
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)
STR_LEN 0 video (-1)
PARAM_COMPARE 0 video->frame_bottom >= $0->frame_top
PARAM_COMPARE 0 video->frame_left <= $0->frame_right
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 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_resolution_vga() -> aspeed_video_update()

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 0
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 clear 0
PARAM_VALUE 3 bits 128
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)
STR_LEN 0 video (-1)
PARAM_COMPARE 0 video->frame_bottom >= $0->frame_top
PARAM_COMPARE 0 video->frame_left <= $0->frame_right
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 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_update()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 772
PARAM_VALUE 2 clear 16
PARAM_VALUE 3 bits 0
DATA_SOURCE 0 video $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 clear 22
PARAM_VALUE 3 bits 0
CAPPED_DATA 0 &video->buffers 1
DATA_SOURCE 0 video $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 reg 772
PARAM_VALUE 2 clear 8
PARAM_VALUE 3 bits 0
CAPPED_DATA 0 &video->buffers 1
DATA_SOURCE 0 video $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_set_parm() -> aspeed_video_update()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->frame_rate 0-60
PARAM_VALUE 1 reg 8
PARAM_VALUE 2 clear 16711680
PARAM_VALUE 3 bits 0,65536-16711680
BUF_SIZE 0 video s32min-(-2),1-s32max
BUF_SIZE 0 video s32min-(-2),1-s32max
DATA_SOURCE 0 video r video_drvdata
BIT_INFO 3 bits 0x0,0xff0000
NOCHECK_CALL
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_set_resolution() -> aspeed_video_update()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->input 0
PARAM_VALUE 1 reg 8
PARAM_VALUE 2 clear 48
PARAM_VALUE 3 bits 16
BUF_SIZE 0 video s32min-(-2),1-s32max
BUF_SIZE 0 video s32min-(-2),1-s32max
DATA_SOURCE 0 video $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 video->active_timings.cea861_vic 0-255[u]
USER_DATA 0 video->active_timings.flags 0-u32max[u]
USER_DATA 0 video->active_timings.hbackporch 0-u32max[u]
USER_DATA 0 video->active_timings.hdmi_vic 0-255[u]
USER_DATA 0 video->active_timings.height 0-u32max[u]
USER_DATA 0 video->active_timings.hfrontporch 0-u32max[u]
USER_DATA 0 video->active_timings.hsync 0-u32max[u]
USER_DATA 0 video->active_timings.il_vbackporch 0-u32max[u]
USER_DATA 0 video->active_timings.il_vfrontporch 0-u32max[u]
USER_DATA 0 video->active_timings.il_vsync 0-u32max[u]
USER_DATA 0 video->active_timings.interlaced 0-u32max[u]
USER_DATA 0 video->active_timings.picture_aspect.denominator 0-u32max[u]
USER_DATA 0 video->active_timings.picture_aspect.numerator 0-u32max[u]
USER_DATA 0 video->active_timings.pixelclock 0-u64max[u]
USER_DATA 0 video->active_timings.polarities 0-u32max[u]
USER_DATA 0 video->active_timings.standards 0-u32max[u]
USER_DATA 0 video->active_timings.vbackporch 0-u32max[u]
USER_DATA 0 video->active_timings.vfrontporch 0-u32max[u]
USER_DATA 0 video->active_timings.vsync 0-u32max[u]
USER_DATA 0 video->active_timings.width 0-u32max[u]
USER_DATA 0 video->input 0
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_set_resolution() -> aspeed_video_update()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 8
PARAM_VALUE 2 clear 48
PARAM_VALUE 3 bits 32,48
BUF_SIZE 0 video s32min-(-2),1-s32max
BUF_SIZE 0 video s32min-(-2),1-s32max
DATA_SOURCE 0 video $0
FUZZY_MAX 3 bits 32
BIT_INFO 3 bits 0x20,0x30
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 video->active_timings.cea861_vic 0-255[u]
USER_DATA 0 video->active_timings.flags 0-u32max[u]
USER_DATA 0 video->active_timings.hbackporch 0-u32max[u]
USER_DATA 0 video->active_timings.hdmi_vic 0-255[u]
USER_DATA 0 video->active_timings.height 0-u32max[u]
USER_DATA 0 video->active_timings.hfrontporch 0-u32max[u]
USER_DATA 0 video->active_timings.hsync 0-u32max[u]
USER_DATA 0 video->active_timings.il_vbackporch 0-u32max[u]
USER_DATA 0 video->active_timings.il_vfrontporch 0-u32max[u]
USER_DATA 0 video->active_timings.il_vsync 0-u32max[u]
USER_DATA 0 video->active_timings.interlaced 0-u32max[u]
USER_DATA 0 video->active_timings.picture_aspect.denominator 0-u32max[u]
USER_DATA 0 video->active_timings.picture_aspect.numerator 0-u32max[u]
USER_DATA 0 video->active_timings.pixelclock 0-u64max[u]
USER_DATA 0 video->active_timings.polarities 0-u32max[u]
USER_DATA 0 video->active_timings.standards 0-u32max[u]
USER_DATA 0 video->active_timings.vbackporch 0-u32max[u]
USER_DATA 0 video->active_timings.vfrontporch 0-u32max[u]
USER_DATA 0 video->active_timings.vsync 0-u32max[u]
USER_DATA 0 video->active_timings.width 0-u32max[u]
USER_DATA 0 video->input 0
HALF_LOCKED2 0 &video->video_lock

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

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 video->v4l2_input_status 0
PARAM_VALUE 1 reg 772
PARAM_VALUE 2 clear 0
PARAM_VALUE 3 bits 8
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
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 video->v4l2_input_status 0
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 clear 0
PARAM_VALUE 3 bits 18
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
NOCHECK_CALL

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_update_regs() -> aspeed_video_update()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->format 1
PARAM_VALUE 1 reg 44
PARAM_VALUE 2 clear 0
PARAM_VALUE 3 bits 1
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
NOCHECK_CALL
USER_DATA 0 video->input 0-1

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_update_regs() -> aspeed_video_update()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->format 0,2-u32max
PARAM_VALUE 1 reg 44
PARAM_VALUE 2 clear 1
PARAM_VALUE 3 bits 0
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
NOCHECK_CALL
USER_DATA 0 video->input 0-1

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_update_regs() -> aspeed_video_update()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->jpeg.virt 0,4096-ptr_max
PARAM_VALUE 0 *video->jpeg.virt 1114371,2228483
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
BIT_INFO 2 clear 0x400,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 video->input 0-1

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_update_regs() -> aspeed_video_update()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->jpeg.virt 0,4096-ptr_max
PARAM_VALUE 0 *video->jpeg.virt 1114371,2228483
PARAM_VALUE 1 reg 8
PARAM_VALUE 2 clear 16711940
PARAM_VALUE 3 bits 0,256,65536-16711936
BUF_SIZE 0 video s32min-(-1),1-s32max
BUF_SIZE 0 video s32min-(-1),1-s32max
DATA_SOURCE 0 video $0
FUZZY_MAX 3 bits 0
BIT_INFO 3 bits 0x0,0xff0100
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 video->input 0-1

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_update_regs() -> aspeed_video_update()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->jpeg.virt 0,4096-ptr_max
PARAM_VALUE 0 *video->jpeg.virt 1114371,2228483
PARAM_VALUE 1 reg 96
PARAM_VALUE 2 clear 4290904003
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
NOCHECK_CALL
USER_DATA 0 video->input 0-1