Defined in 1 files as a member:
Defined in 5 files as a function:
- drivers/media/radio/radio-cadet.c, line 399 (as a function)
- drivers/media/radio/radio-raremono.c, line 190 (as a function)
- drivers/media/radio/radio-tea5777.c, line 266 (as a function)
- drivers/media/radio/tea575x.c, line 265 (as a function)
- drivers/media/test-drivers/vivid/vivid-core.c, line 289 (as a function)
Referenced in 15 files:
- drivers/media/dvb-frontends/rtl2832_sdr.c, line 1225
- drivers/media/pci/bt8xx/bttv-driver.c, line 2508
- drivers/media/platform/renesas/rcar_drif.c, line 1041
- drivers/media/radio/radio-cadet.c
- drivers/media/radio/radio-raremono.c
- drivers/media/radio/radio-si476x.c, line 1161
- drivers/media/radio/radio-tea5777.c
- drivers/media/radio/si470x/radio-si470x-common.c, line 776
- drivers/media/radio/tea575x.c
- drivers/media/test-drivers/vivid/vivid-core.c
- drivers/media/usb/airspy/airspy.c, line 837
- drivers/media/usb/hackrf/hackrf.c, line 1226
- drivers/media/usb/msi2500/msi2500.c, line 1121
- drivers/media/v4l2-core/v4l2-dev.c, line 614
- drivers/media/v4l2-core/v4l2-ioctl.c
Smatch caller information:
drivers/media/v4l2-core/v4l2-ioctl.c v4l_enum_freq_bands() -> (struct v4l2_ioctl_ops)->vidioc_enum_freq_bands()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | priv | 0 |
| PARAM_VALUE | 2 | band | 4096-ptr_max |
| PARAM_VALUE | 2 | band->type | 1-2,4-5 |
| BUF_SIZE | 2 | band | (-1),128-16383 |
| BUF_SIZE | 2 | band | (-1),128-16383 |
| CAPPED_DATA | 2 | band->type | 1 |
| DATA_SOURCE | 0 | file | $1 |
| DATA_SOURCE | 2 | band | $2 |
| USER_DATA | 2 | band->capability | 0-u32max[u] |
| USER_DATA | 2 | band->index | 0-u32max[u] |
| USER_DATA | 2 | band->modulation | 0-u32max[u] |
| USER_DATA | 2 | band->rangehigh | 0-u32max[u] |
| USER_DATA | 2 | band->rangelow | 0-u32max[u] |
| USER_DATA | 2 | band->tuner | 0-u32max[u] |
| USER_PTR | 2 | band | |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |