Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_calc_compressed_size() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->scu->async 0-1
PARAM_VALUE 0 video->scu->cache_dirty 0-1
PARAM_VALUE 1 reg 88
PARAM_VALUE 2 val 0-63
BUF_SIZE 0 video s32min-(-2),1-s32max
BUF_SIZE 0 video s32min-(-2),1-s32max
DATA_SOURCE 0 video $0
FUZZY_MAX 2 val 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-1
HALF_LOCKED2 0 &video->video_lock

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

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
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]
HOST_DATA 2 val 0-u32max
USER_DATA 0 video->input 0
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 0
PARAM_VALUE 2 val 436439720
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 772
PARAM_VALUE 2 val 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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 776
PARAM_VALUE 2 val u32max
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 56
PARAM_VALUE 2 val 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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 60
PARAM_VALUE 2 val 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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 64
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 val 32
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 8
PARAM_VALUE 2 val 256,320-448
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
BIT_INFO 2 val 0x100,0x1ff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 96
PARAM_VALUE 2 val 524288
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 20
PARAM_VALUE 2 val 268439552
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 24
PARAM_VALUE 2 val 2097152
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 28
PARAM_VALUE 2 val 2097152
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 32
PARAM_VALUE 2 val 2097152
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 36
PARAM_VALUE 2 val 2097152
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 780
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_init_regs() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 44
PARAM_VALUE 2 val 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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &video->video_lock

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

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 776
PARAM_VALUE 2 val 16
DATA_SOURCE 0 video $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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 776
PARAM_VALUE 2 val 8
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_res_change() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->v4l2_input_status 2
PARAM_VALUE 1 reg 772
PARAM_VALUE 2 val 0
DATA_SOURCE 0 video $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_irq_res_change() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->v4l2_input_status 2
PARAM_VALUE 1 reg 776
PARAM_VALUE 2 val u32max
DATA_SOURCE 0 video $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_off() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 772
PARAM_VALUE 2 val 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
UNITS 0 video unit_byte
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 0 &video->video_lock

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_off() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 776
PARAM_VALUE 2 val u32max
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
UNITS 0 video unit_byte
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 0 &video->video_lock

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

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->active_timings.width 1-u32max
PARAM_VALUE 1 reg 48
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 1-u32max[u]
USER_DATA 0 video->input 0-1
USER_DATA 2 val 0-u32max
HALF_LOCKED2 0 &video->video_lock

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

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 48
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-1
USER_DATA 2 val 0-u32max
HALF_LOCKED2 0 &video->video_lock

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

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 52
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-1
USER_DATA 2 val 0-u32max
HALF_LOCKED2 0 &video->video_lock

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

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 1 reg 72
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-1
HALF_LOCKED2 0 &video->video_lock

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

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->input 0
PARAM_VALUE 1 reg 12
PARAM_VALUE 2 val 0-536870911
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_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->input 0
PARAM_VALUE 1 reg 16
PARAM_VALUE 2 val 0-536870911
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_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->gfx 4096-ptr_max
PARAM_VALUE 0 video->gfx->lock 4096-ptr_max
PARAM_VALUE 0 video->gfx->unlock 4096-ptr_max
PARAM_VALUE 0 video->input 1
PARAM_VALUE 0 *video->gfx->cache->data 0-4294967295
PARAM_VALUE 1 reg 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]
HALF_LOCKED2 0 &video->video_lock

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

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->dev 4096-ptr_max
PARAM_VALUE 0 video->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 video->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 video->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 video->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 video->dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 video->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 video->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 video->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 video->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 video->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 video->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 video->srcs 4096-ptr_max
PARAM_VALUE 1 reg 68
BUF_SIZE 0 video s32min-(-2),1-s32max
BUF_SIZE 0 video s32min-(-2),1-s32max
CAPPED_DATA 0 video->dev 1
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_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->dev 4096-ptr_max
PARAM_VALUE 0 video->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 video->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 video->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 video->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 video->dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 video->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 video->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 video->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 video->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 video->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 video->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 video->srcs 4096-ptr_max
PARAM_VALUE 1 reg 76
BUF_SIZE 0 video s32min-(-2),1-s32max
BUF_SIZE 0 video s32min-(-2),1-s32max
CAPPED_DATA 0 video->dev 1
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_start_frame() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->bcd.size 36864
PARAM_VALUE 0 video->bcd.virt 1-ptr_max
PARAM_VALUE 0 video->dev 4096-ptr_max
PARAM_VALUE 0 video->dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 video->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 video->format 1-u32max
PARAM_VALUE 0 video->v4l2_input_status 0
PARAM_VALUE 1 reg 80
BUF_SIZE 0 video s32min-(-1),1-s32max
BUF_SIZE 0 video s32min-(-1),1-s32max
CAPPED_DATA 0 video->dev 1
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_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->gfx 4096-ptr_max
PARAM_VALUE 0 video->gfx->lock 4096-ptr_max
PARAM_VALUE 0 video->gfx->unlock 4096-ptr_max
PARAM_VALUE 0 video->input 1
PARAM_VALUE 0 video->v4l2_input_status 0
PARAM_VALUE 1 reg 12
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_write()

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 56
PARAM_VALUE 2 val 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

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

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 60
PARAM_VALUE 2 val 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

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

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 84
BUF_SIZE 0 video s32min-(-1),1-s32max
BUF_SIZE 0 video s32min-(-1),1-s32max
DATA_SOURCE 0 video $0
DATA_SOURCE 2 val r vb2_dma_contig_plane_dma_addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_swap_src_buf() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->format 1-u32max
PARAM_VALUE 0 video->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 video->sequence 1-u32max
PARAM_VALUE 0 video->srcs 4096-ptr_max
PARAM_VALUE 1 reg 68
DATA_SOURCE 0 video $0
BIT_INFO 0 video->sequence 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_swap_src_buf() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->format 1-u32max
PARAM_VALUE 0 video->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 video->sequence 1-u32max
PARAM_VALUE 0 video->srcs 4096-ptr_max
PARAM_VALUE 1 reg 76
DATA_SOURCE 0 video $0
BIT_INFO 0 video->sequence 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_swap_src_buf() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->format 1-u32max
PARAM_VALUE 0 video->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 video->sequence 1-u32max
PARAM_VALUE 0 video->srcs 4096-ptr_max
PARAM_VALUE 1 reg 68
DATA_SOURCE 0 video $0
BIT_INFO 0 video->sequence 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/media/platform/aspeed/aspeed-video.c aspeed_video_swap_src_buf() -> aspeed_video_write()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->format 1-u32max
PARAM_VALUE 0 video->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 video->sequence 1-u32max
PARAM_VALUE 0 video->srcs 4096-ptr_max
PARAM_VALUE 1 reg 76
DATA_SOURCE 0 video $0
BIT_INFO 0 video->sequence 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq