Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/platform/aspeed/aspeed-video.c aspeed_video_resolution_work() -> aspeed_video_get_resolution()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | video | 4096-ptr_max |
| PARAM_VALUE | 0 | video->jpeg.virt | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *video->jpeg.virt | 1114371,2228483 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/media/platform/aspeed/aspeed-video.c aspeed_video_set_input() -> aspeed_video_get_resolution()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | video | 4096-ptr_max |
| PARAM_VALUE | 0 | video->input | 0-1 |
| PARAM_VALUE | 0 | video->jpeg.virt | 0,4096-ptr_max |
| PARAM_VALUE | 0 | video->queue.is_busy | 0 |
| PARAM_VALUE | 0 | video->scu | 0-ptr_max |
| PARAM_VALUE | 0 | *video->jpeg.virt | 1114371,2228483 |
| BUF_SIZE | 0 | video | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | video | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | video | r video_drvdata |
| NOCHECK_CALL | |||
| USER_DATA | 0 | video->input | 0-1 |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |
drivers/media/platform/aspeed/aspeed-video.c aspeed_video_start() -> aspeed_video_get_resolution()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | video | 4096-ptr_max |
| PARAM_VALUE | 0 | video->video_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | video->video_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | video->video_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | video->video_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | video->video_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | video->video_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | video->video_lock.wait_lock.owner_cpu | u32max |
| BUF_SIZE | 0 | video | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | video | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | video | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &video->video_lock | |
| TYPE_LOCK | (struct aspeed_video)->video_lock |
drivers/media/platform/aspeed/aspeed-video.c aspeed_video_stop_streaming() -> aspeed_video_get_resolution()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | video | 4096-ptr_max |
| PARAM_VALUE | 0 | video->reset | 0,4096-u64max |
| PARAM_VALUE | 0 | video->reset->array | 0-1 |
| BUF_SIZE | 0 | video | (-1),360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,3040,3256,4104,4824,7552,7944,8768,116088 |
| BUF_SIZE | 0 | video | (-1),360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,3040,3256,4104,4824,7552,7944,8768,116088 |
| STR_LEN | 0 | video | (-1),5-9,12 |
| STR_LEN | 0 | video | (-1),5-9,12 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dmxdev->mutex | ||
| HALF_LOCKED2 | &q->mmap_lock |