Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/broadcom/bcm2835-unicam.c __unicam_try_fmt_vid() -> unicam_calc_image_size_bpl()

Type Parameter Key Value
PARAM_VALUE 1 fmtinfo 4096-ptr_max
PARAM_VALUE 2 pix 4096-ptr_max
PARAM_VALUE 2 pix->pixelformat 0,8,540029273,540160345,540291417,808534338,808534599,808535874,825770306,859981650,861030210,945046861,1093747533,1094795888,1094797168,1094799984,1094805360,1111967570,1127301965,1128481392,1128482672,1128485488-u32max
BUF_SIZE 1 fmtinfo (-1),432
BUF_SIZE 1 fmtinfo (-1),432
DATA_SOURCE 2 pix $1
NOCHECK_CALL
USER_DATA 2 pix->bytesperline 0-u32max[u]
USER_DATA 2 pix->colorspace 0-u32max[u]
USER_DATA 2 pix->field 0-u32max[u]
USER_DATA 2 pix->flags 0-u32max[u]
USER_DATA 2 pix->height 0-u32max[u]
USER_DATA 2 pix->hsv_enc 0-u32max[u]
USER_DATA 2 pix->pixelformat 0,8,540029273,540160345,540291417,808534338,808534599,808535874
USER_DATA 2 pix->priv 0-u32max[u]
USER_DATA 2 pix->quantization 0-u32max[u]
USER_DATA 2 pix->sizeimage 0-u32max[u]
USER_DATA 2 pix->width 0-u32max[u]
USER_DATA 2 pix->xfer_func 0-u32max[u]
USER_DATA 2 pix->ycbcr_enc 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/platform/broadcom/bcm2835-unicam.c unicam_set_default_format() -> unicam_calc_image_size_bpl()

Type Parameter Key Value
PARAM_VALUE 0 unicam 4096-ptr_max
PARAM_VALUE 1 fmtinfo 1098044439320846336
PARAM_VALUE 2 pix 4096-ptr_max
PARAM_VALUE 2 pix->height 480
PARAM_VALUE 2 pix->pixelformat 825770306,859981650,861030210,945046861,1093747533,1094795888,1094797168,1094799984,1094805360,1111967570,1127301965,1128481392,1128482672,1128485488,1128490864,1160856397,1162166896,1162168176,1162170992,1162176368-u32max
PARAM_VALUE 2 pix->width 640
BUF_SIZE 1 fmtinfo 432
BUF_SIZE 1 fmtinfo 432
BUF_SIZE 2 pix 48
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &list_lock
HALF_LOCKED2 &device->clients_lock