Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/usb/gspca/spca561.c init_161rev12A() -> sensor_mapwrite()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gspca_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | gspca_dev->queue.buf_ops->copy_timestamp | 0,3401818510708633600 |
| PARAM_VALUE | 0 | gspca_dev->queue.buf_ops->fill_user_buffer | 0,5298842246379896832,5841025948992888832 |
| PARAM_VALUE | 0 | gspca_dev->queue.buf_ops->fill_vb2_buffer | 0,1786911256580034560,5041348282711113728 |
| PARAM_VALUE | 0 | gspca_dev->queue.buf_ops->init_buffer | 0,384438844081053696 |
| PARAM_VALUE | 0 | gspca_dev->queue.buf_ops->verify_planes_array | 0,6675302666440089600 |
| PARAM_VALUE | 0 | gspca_dev->sd_desc | 4096-ptr_max |
| PARAM_VALUE | 0 | gspca_dev->usb_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gspca_dev->usb_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gspca_dev->usb_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | gspca_dev->usb_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | gspca_dev->usb_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | sensormap | 1443280123770847232 |
| BUF_SIZE | 0 | gspca_dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | gspca_dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | gspca_dev->usb_buf | (-1),64 |
| BUF_SIZE | 0 | gspca_dev->vdev.lock | (-1),152 |
| BUF_SIZE | 0 | gspca_dev->vdev.queue | (-1),632 |
| BUF_SIZE | 0 | gspca_dev->vdev.v4l2_dev | (-1),192 |
| BUF_SIZE | 1 | sensormap | 40 |
| DATA_SOURCE | 0 | gspca_dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | 0 | &gspca_dev->usb_lock |
drivers/media/usb/gspca/spca561.c init_161rev12A() -> sensor_mapwrite()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gspca_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | gspca_dev->queue.buf_ops->copy_timestamp | 0,3401818510708633600 |
| PARAM_VALUE | 0 | gspca_dev->queue.buf_ops->fill_user_buffer | 0,5298842246379896832,5841025948992888832 |
| PARAM_VALUE | 0 | gspca_dev->queue.buf_ops->fill_vb2_buffer | 0,1786911256580034560,5041348282711113728 |
| PARAM_VALUE | 0 | gspca_dev->queue.buf_ops->init_buffer | 0,384438844081053696 |
| PARAM_VALUE | 0 | gspca_dev->queue.buf_ops->verify_planes_array | 0,6675302666440089600 |
| PARAM_VALUE | 0 | gspca_dev->sd_desc | 4096-ptr_max |
| PARAM_VALUE | 0 | gspca_dev->usb_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gspca_dev->usb_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gspca_dev->usb_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | gspca_dev->usb_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | gspca_dev->usb_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | sensormap | 2367647856187584512 |
| BUF_SIZE | 0 | gspca_dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | gspca_dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | gspca_dev->usb_buf | (-1),64 |
| BUF_SIZE | 0 | gspca_dev->vdev.lock | (-1),152 |
| BUF_SIZE | 0 | gspca_dev->vdev.queue | (-1),632 |
| BUF_SIZE | 0 | gspca_dev->vdev.v4l2_dev | (-1),192 |
| BUF_SIZE | 1 | sensormap | 12 |
| DATA_SOURCE | 0 | gspca_dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | 0 | &gspca_dev->usb_lock |