Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/test-drivers/vivid/vivid-kthread-cap.c vivid_precalc_copy_rects() -> v4l2_rect_intersect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r | 4096-ptr_max |
| PARAM_VALUE | 1 | r1 | 4096-ptr_max |
| PARAM_VALUE | 2 | r2 | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | &dev->mutex | ||
| HALF_LOCKED2 | &out_dev->mutex | ||
| TYPE_LOCK | (struct vivid_dev)->mutex |
drivers/media/test-drivers/vivid/vivid-kthread-cap.c vivid_precalc_copy_rects() -> v4l2_rect_intersect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r | 7944152786854260736 |
| PARAM_VALUE | 1 | r1 | 8655949641268338688 |
| PARAM_VALUE | 1 | r1->left | 0 |
| PARAM_VALUE | 1 | r1->top | 0 |
| PARAM_VALUE | 2 | r2 | 7944152786854260736 |
| NOCHECK_CALL | |||
| LOCK2 | &dev->mutex | ||
| HALF_LOCKED2 | &out_dev->mutex | ||
| TYPE_LOCK | (struct vivid_dev)->mutex |
drivers/media/test-drivers/vivid/vivid-kthread-cap.c vivid_precalc_copy_rects() -> v4l2_rect_intersect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r | 4096-ptr_max |
| PARAM_VALUE | 1 | r1 | 7944152786854260736 |
| PARAM_VALUE | 1 | r1->height | 0-s32max |
| PARAM_VALUE | 1 | r1->width | 0-s32max |
| PARAM_VALUE | 2 | r2 | 4096-ptr_max |
| PARAM_VALUE | 2 | r2->height | 0-s32max |
| PARAM_VALUE | 2 | r2->width | 0-s32max |
| NOCHECK_CALL | |||
| LOCK2 | &dev->mutex | ||
| HALF_LOCKED2 | &out_dev->mutex | ||
| TYPE_LOCK | (struct vivid_dev)->mutex |