Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/staging/fbtft/fb_agm1264k-fl.c write_vmem() -> iterate_diffusion_matrix()

Type Parameter Key Value
PARAM_VALUE 0 xres 1-s32max
PARAM_VALUE 1 yres 1-u32max
PARAM_VALUE 2 x 0-2147483646
PARAM_VALUE 3 y 0-s32max
PARAM_VALUE 4 convert_buf 4096-ptr_max
PARAM_VALUE 5 pixel 0,255
PARAM_VALUE 6 error (-4096)-4095
BUF_SIZE 4 convert_buf 0-8589934590
BUF_SIZE 4 convert_buf 0-8589934590
CAPPED_DATA 0 xres 1
CAPPED_DATA 2 x 1
CAPPED_DATA 3 y 1
DATA_SOURCE 4 convert_buf r _kmalloc_noprof
FUZZY_MAX 3 y 0
FUZZY_MAX 5 pixel 255
PARAM_COMPARE 0 xres > $2
PARAM_COMPARE 1 yres > $3
PARAM_COMPARE 2 x < $0
PARAM_COMPARE 3 y < $1
HARD_MAX 5 pixel 255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 xres unit_byte
UNITS 2 x unit_byte
HALF_LOCKED2 &fbdefio_state->lock