Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/intel/pxa_camera.c pxa_camera_sensor_bound() -> pxa_camera_build_formats()

Type Parameter Key Value
PARAM_VALUE 0 pcdev 4096-ptr_max
PARAM_VALUE 0 pcdev->mlock.dep_map->name 0-255
PARAM_VALUE 0 pcdev->mlock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pcdev->mlock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pcdev->mlock.osq.tail.counter 0-s32max
PARAM_VALUE 0 pcdev->mlock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pcdev->mlock.wait_lock.owner (-1)
PARAM_VALUE 0 pcdev->mlock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 pcdev->sensor 4096-ptr_max
PARAM_VALUE 0 pcdev->vdev.dev.driver_data 4096-ptr_max
PARAM_VALUE 0 pcdev->vdev.lock 4096-ptr_max
PARAM_VALUE 0 pcdev->vdev.lock->first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pcdev->vdev.lock->osq.tail.counter 0-s32max
PARAM_VALUE 0 pcdev->vdev.lock->wait_lock.owner (-1)
PARAM_VALUE 0 pcdev->vdev.lock->wait_lock.owner_cpu u32max
PARAM_VALUE 0 pcdev->vdev.queue 4096-ptr_max
PARAM_VALUE 0 pcdev->vdev.v4l2_dev 4096-ptr_max
BUF_SIZE 0 pcdev->vdev.ctrl_handler (-1),328
BUF_SIZE 0 pcdev->vdev.queue 632
BUF_SIZE 0 pcdev->vdev.v4l2_dev 192
CAPPED_DATA 0 &pcdev->mlock 1
DATA_SOURCE 0 pcdev r v4l2_dev_to_pcdev
STR_LEN 0 pcdev->sensor->name (-1),51
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pcdev->sensor->entity.num_pads
NO_OVERFLOW_SIMPLE 0 pcdev->vdev.ctrl_handler->nr_of_buckets
LOCK2 0 &pcdev->mlock
HALF_LOCKED2 global &list_lock
TYPE_LOCK (struct pxa_camera_dev)->mlock