Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/usb/gspca/stk1135.c sensor_write_16() -> sensor_write_8()
| 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->dev->toggle | 0-4294967295 |
| BUF_SIZE | 0 | gspca_dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | gspca_dev | s32min-(-1),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 |
| DATA_SOURCE | 0 | gspca_dev | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| STR_LEN | 0 | gspca_dev | (-1) |
| STR_LEN | 0 | gspca_dev | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | gspca_dev->int_urb->transfer_buffer_length | |
| HALF_LOCKED2 | 0 | &gspca_dev->usb_lock |
drivers/media/usb/gspca/stk1135.c sensor_write_16() -> sensor_write_8()
| 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->dev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | addr | 241 |
| BUF_SIZE | 0 | gspca_dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | gspca_dev | s32min-(-1),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 |
| DATA_SOURCE | 0 | gspca_dev | $0 |
| STR_LEN | 0 | gspca_dev | (-1) |
| STR_LEN | 0 | gspca_dev | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | gspca_dev->int_urb->transfer_buffer_length | |
| HALF_LOCKED2 | 0 | &gspca_dev->usb_lock |