Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/ipu-v3/ipu-pre.c ipu_pre_configure() -> ipu_pre_update_safe_window()

Type Parameter Key Value
PARAM_VALUE 0 pre 4096-ptr_max
PARAM_VALUE 0 pre->cur.height 0-s16max,4294934528-u32max
DATA_SOURCE 0 pre $0
BIT_INFO 0 pre->cur.height 0x0,0x7fff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pre->cur 0-u64max
HOST_DATA 0 pre->cur->bufaddr 0-u32max
HOST_DATA 0 pre->cur->cpp 0-255
HOST_DATA 0 pre->cur->ctrl 0-u32max
HOST_DATA 0 pre->cur->height 0-u32max
HOST_DATA 0 pre->cur->in_use 0-1
HOST_DATA 0 pre->cur->modifier 0-u64max
HOST_DATA 0 pre->cur->safe_window_end 0-u32max
HALF_LOCKED2 irq

drivers/gpu/ipu-v3/ipu-pre.c ipu_pre_update() -> ipu_pre_update_safe_window()

Type Parameter Key Value
PARAM_VALUE 0 pre 4096-ptr_max
PARAM_VALUE 0 pre->cur.safe_window_end 2-32765,4294967294-u32max
DATA_SOURCE 0 pre $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq