Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/platform/raspberrypi/pisp_be/pisp_be.c pispbe_node_def_fmt() -> pispbe_try_format()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f | 7054403871186690048 |
| PARAM_VALUE | 0 | f->fmt.pix_mp.colorspace | 0 |
| PARAM_VALUE | 0 | f->fmt.pix_mp.field | 0 |
| PARAM_VALUE | 0 | f->fmt.pix_mp.height | 1080 |
| PARAM_VALUE | 0 | f->fmt.pix_mp.hsv_enc | 0 |
| PARAM_VALUE | 0 | f->fmt.pix_mp.num_planes | 0 |
| PARAM_VALUE | 0 | f->fmt.pix_mp.pixelformat | 842093913 |
| PARAM_VALUE | 0 | f->fmt.pix_mp.quantization | 0 |
| PARAM_VALUE | 0 | f->fmt.pix_mp.width | 1920 |
| PARAM_VALUE | 0 | f->fmt.pix_mp.xfer_func | 0 |
| PARAM_VALUE | 0 | f->fmt.pix_mp.ycbcr_enc | 0 |
| PARAM_VALUE | 0 | f->type | 0-13,15-u32max |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 1 | node->buf_type | 0-13,15-u32max |
| PARAM_VALUE | 1 | node->id | 0-7 |
| PARAM_VALUE | 1 | node->node_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | node->node_lock.first_waiter | 0 |
| PARAM_VALUE | 1 | node->node_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | node->node_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 1 | node->node_lock.owner.counter | 0 |
| PARAM_VALUE | 1 | node->pispbe | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->be_reg_base | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->clk | 0,4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->hw_busy | 0 |
| PARAM_VALUE | 1 | node->pispbe->hw_version | 0 |
| PARAM_VALUE | 1 | node->pispbe->irq | 1-s32max |
| PARAM_VALUE | 1 | node->pispbe->job_queue.next | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->job_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.dev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.entities.next | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.entities.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.entity_internal_idx.xa.xa_flags | 33554437 |
| PARAM_VALUE | 1 | node->pispbe->mdev.entity_notify.next | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.entity_notify.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.graph_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.hw_revision | 0 |
| PARAM_VALUE | 1 | node->pispbe->mdev.interfaces.next | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.interfaces.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.links.next | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.links.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.num_requests.counter | 0 |
| PARAM_VALUE | 1 | node->pispbe->mdev.pads.next | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.pads.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.req_queue_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->mdev.request_id.counter | 0 |
| PARAM_VALUE | 1 | node->pispbe->sd.async_subdev_endpoint_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->sd.async_subdev_endpoint_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->sd.dev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->sd.dev_priv | 0 |
| PARAM_VALUE | 1 | node->pispbe->sd.entity.function | 16386 |
| PARAM_VALUE | 1 | node->pispbe->sd.entity.graph_obj.id | 0-67108863 |
| PARAM_VALUE | 1 | node->pispbe->sd.entity.internal_idx | 0-s32max |
| PARAM_VALUE | 1 | node->pispbe->sd.entity.links.next | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->sd.entity.links.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->sd.entity.name | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->sd.entity.obj_type | 2 |
| PARAM_VALUE | 1 | node->pispbe->sd.flags | 0 |
| PARAM_VALUE | 1 | node->pispbe->sd.grp_id | 0 |
| PARAM_VALUE | 1 | node->pispbe->sd.host_priv | 0 |
| PARAM_VALUE | 1 | node->pispbe->sd.list.next | 0 |
| PARAM_VALUE | 1 | node->pispbe->sd.list.prev | 0 |
| PARAM_VALUE | 1 | node->pispbe->sd.owner | 0 |
| PARAM_VALUE | 1 | node->pispbe->sd.privacy_led | 0 |
| PARAM_VALUE | 1 | node->pispbe->sd.v4l2_dev | 0 |
| PARAM_VALUE | 1 | node->pispbe->v4l2_dev.dev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->v4l2_dev.mdev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->pispbe->v4l2_dev.ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | node->pispbe->v4l2_dev.subdevs.next | 4096-ptr_max |
| PARAM_VALUE | 1 | node->queue_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | node->queue_lock.first_waiter | 0 |
| PARAM_VALUE | 1 | node->queue_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | node->queue_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 1 | node->queue_lock.owner.counter | 0 |
| PARAM_VALUE | 1 | node->ready_queue.next | 4096-ptr_max |
| PARAM_VALUE | 1 | node->ready_queue.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | node->ready_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->ready_queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | node->ready_queue.prev->prev | 4096-ptr_max |
| DATA_SOURCE | 1 | node | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | node->pispbe->done | 0 |
| HOST_DATA | 1 | node->pispbe->hw_version | 0 |
drivers/media/platform/raspberrypi/pisp_be/pisp_be.c pispbe_node_try_fmt_vid_cap() -> pispbe_try_format()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f | 4096-ptr_max |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 1 | node->buf_type | 1,9 |
| BUF_SIZE | 0 | f | (-1),128-16383 |
| BUF_SIZE | 0 | f | (-1),128-16383 |
| BUF_SIZE | 1 | node | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | node | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | f | $2 |
| DATA_SOURCE | 1 | node | r video_drvdata |
| FUZZY_MAX | 1 | node->buf_type | 9 |
| BIT_INFO | 1 | node->buf_type | 0x1,0x9 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | f->fmt.meta.buffersize | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.meta.bytesperline | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.meta.dataformat | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.meta.height | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.meta.width | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.bytesperline | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.colorspace | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.field | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.flags | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.height | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.hsv_enc | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.pixelformat | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.priv | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.quantization | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.sizeimage | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.width | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.xfer_func | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.ycbcr_enc | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix_mp.colorspace | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix_mp.field | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix_mp.flags | 0-255[u] |
| USER_DATA | 0 | f->fmt.pix_mp.height | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix_mp.hsv_enc | 0-255[u] |
| USER_DATA | 0 | f->fmt.pix_mp.num_planes | 0-255[u] |
| USER_DATA | 0 | f->fmt.pix_mp.pixelformat | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix_mp.quantization | 0-255[u] |
| USER_DATA | 0 | f->fmt.pix_mp.width | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix_mp.xfer_func | 0-255[u] |
| USER_DATA | 0 | f->fmt.pix_mp.ycbcr_enc | 0-255[u] |
| USER_DATA | 0 | f->fmt.sdr.buffersize | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.sdr.pixelformat | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.sliced.io_size | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.sliced.service_set | 0-u16max[u] |
| USER_DATA | 0 | f->fmt.vbi.flags | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.vbi.offset | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.vbi.sample_format | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.vbi.samples_per_line | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.vbi.sampling_rate | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.win.chromakey | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.win.clipcount | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.win.field | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.win.global_alpha | 0-255[u] |
| USER_DATA | 0 | f->fmt.win.w.height | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.win.w.left | s32min-s32max[u] |
| USER_DATA | 0 | f->fmt.win.w.top | s32min-s32max[u] |
| USER_DATA | 0 | f->fmt.win.w.width | 0-u32max[u] |
| USER_DATA | 0 | f->type | 0-u32max[u] |
| USER_PTR | 0 | f | |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |
drivers/media/platform/raspberrypi/pisp_be/pisp_be.c pispbe_node_try_fmt_vid_out() -> pispbe_try_format()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f | 4096-ptr_max |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 1 | node->buf_type | 2,10 |
| BUF_SIZE | 0 | f | (-1),128-16383 |
| BUF_SIZE | 0 | f | (-1),128-16383 |
| BUF_SIZE | 1 | node | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | node | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | f | $2 |
| DATA_SOURCE | 1 | node | r video_drvdata |
| FUZZY_MAX | 1 | node->buf_type | 10 |
| BIT_INFO | 1 | node->buf_type | 0x2,0xa |
| NOCHECK_CALL | |||
| USER_DATA | 0 | f->fmt.meta.buffersize | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.meta.bytesperline | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.meta.dataformat | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.meta.height | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.meta.width | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.bytesperline | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.colorspace | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.field | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.flags | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.height | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.hsv_enc | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.pixelformat | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.priv | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.quantization | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.sizeimage | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.width | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.xfer_func | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix.ycbcr_enc | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix_mp.colorspace | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix_mp.field | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix_mp.flags | 0-255[u] |
| USER_DATA | 0 | f->fmt.pix_mp.height | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix_mp.hsv_enc | 0-255[u] |
| USER_DATA | 0 | f->fmt.pix_mp.num_planes | 0-255[u] |
| USER_DATA | 0 | f->fmt.pix_mp.pixelformat | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix_mp.quantization | 0-255[u] |
| USER_DATA | 0 | f->fmt.pix_mp.width | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.pix_mp.xfer_func | 0-255[u] |
| USER_DATA | 0 | f->fmt.pix_mp.ycbcr_enc | 0-255[u] |
| USER_DATA | 0 | f->fmt.sdr.buffersize | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.sdr.pixelformat | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.sliced.io_size | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.sliced.service_set | 0-u16max[u] |
| USER_DATA | 0 | f->fmt.vbi.flags | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.vbi.offset | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.vbi.sample_format | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.vbi.samples_per_line | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.vbi.sampling_rate | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.win.chromakey | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.win.clipcount | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.win.field | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.win.global_alpha | 0-255[u] |
| USER_DATA | 0 | f->fmt.win.w.height | 0-u32max[u] |
| USER_DATA | 0 | f->fmt.win.w.left | s32min-s32max[u] |
| USER_DATA | 0 | f->fmt.win.w.top | s32min-s32max[u] |
| USER_DATA | 0 | f->fmt.win.w.width | 0-u32max[u] |
| USER_DATA | 0 | f->type | 0-u32max[u] |
| USER_PTR | 0 | f | |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |