Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/v4l2-core/v4l2-ioctl.c __video_do_ioctl() -> v4l2_is_known_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cmd | $1 |
| USER_DATA | 0 | cmd | 0-u32max |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |
drivers/media/v4l2-core/v4l2-ioctl.c v4l_printk_ioctl() -> v4l2_is_known_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cmd | $1 |
| USER_DATA | 0 | cmd | 0-u32max |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |
drivers/media/v4l2-core/v4l2-ioctl.c video_get_user() -> v4l2_is_known_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cmd | $2 |
| USER_DATA | 0 | cmd | 0-u32max |