Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 26 files:
-
drivers/media/cec/usb/extron-da-hd-4k-plus/extron-da-hd-4k-plus.c,
line 1337
-
drivers/media/pci/bt8xx/bttv-driver.c,
line 2479
-
drivers/media/pci/cx88/cx88-video.c,
line 1213
-
drivers/media/pci/saa7134/saa7134-video.c,
line 1000
-
drivers/media/pci/saa7164/saa7164-encoder.c,
line 897
-
drivers/media/radio/dsbr100.c,
line 319
-
drivers/media/radio/radio-cadet.c,
line 486
-
drivers/media/radio/radio-isa.c,
line 146
-
drivers/media/radio/radio-keene.c,
line 264
-
drivers/media/radio/radio-ma901.c,
line 306
-
drivers/media/radio/radio-miropcm20.c,
line 410
-
drivers/media/radio/radio-mr800.c,
line 470
-
drivers/media/radio/radio-sf16fmi.c,
line 214
-
drivers/media/radio/radio-si476x.c,
line 1127
-
drivers/media/radio/radio-tea5764.c,
line 390
-
drivers/media/radio/radio-tea5777.c,
line 505
-
drivers/media/radio/radio-timb.c,
line 83
-
drivers/media/radio/si470x/radio-si470x-common.c,
line 520
-
drivers/media/radio/si4713/radio-platform-si4713.c,
line 50
-
drivers/media/radio/si4713/radio-usb-si4713.c,
line 124
-
drivers/media/radio/tea575x.c,
line 469
-
drivers/media/test-drivers/vivid/vivid-radio-rx.c,
line 133
-
drivers/media/test-drivers/vivid/vivid-radio-tx.c,
line 96
-
drivers/media/usb/cx231xx/cx231xx-video.c,
line 1696
-
drivers/media/usb/hdpvr/hdpvr-video.c,
line 535
-
drivers/media/v4l2-core/v4l2-ctrls-api.c,
line 1359
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
file |
4096-ptr_max |
| PARAM_VALUE |
1 |
wait |
0,4096-ptr_max |
| DATA_SOURCE |
0 |
file |
$0 |
| DATA_SOURCE |
1 |
wait |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
wait->_key |
0,8-u32max |
| HALF_LOCKED2 |
|
&kvm->irq_srcu |
|
| HALF_LOCKED2 |
|
&of->mutex |
|
| HALF_LOCKED2 |
|
&vm->irqfds_lock |
|
| HALF_LOCKED2 |
|
global &irqfds_srcu |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
file |
4096-ptr_max |
| PARAM_VALUE |
1 |
wait |
0,4096-ptr_max |
| DATA_SOURCE |
0 |
file |
$0 |
| DATA_SOURCE |
1 |
wait |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
wait->_key |
0,8-u32max |
| HALF_LOCKED2 |
|
&kvm->irq_srcu |
|
| HALF_LOCKED2 |
|
&of->mutex |
|
| HALF_LOCKED2 |
|
&vm->irqfds_lock |
|
| HALF_LOCKED2 |
|
global &irqfds_srcu |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
file |
4096-ptr_max |
| PARAM_VALUE |
1 |
wait |
0,4096-ptr_max |
| DATA_SOURCE |
0 |
file |
$0 |
| DATA_SOURCE |
1 |
wait |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
wait->_key |
0,8-u32max |
| HALF_LOCKED2 |
|
&kvm->irq_srcu |
|
| HALF_LOCKED2 |
|
&of->mutex |
|
| HALF_LOCKED2 |
|
&vm->irqfds_lock |
|
| HALF_LOCKED2 |
|
global &irqfds_srcu |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
file |
4096-ptr_max |
| PARAM_VALUE |
1 |
wait |
0,4096-ptr_max |
| DATA_SOURCE |
0 |
file |
$0 |
| DATA_SOURCE |
1 |
wait |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
wait->_key |
0,8-u32max |
| HALF_LOCKED2 |
|
&kvm->irq_srcu |
|
| HALF_LOCKED2 |
|
&of->mutex |
|
| HALF_LOCKED2 |
|
&vm->irqfds_lock |
|
| HALF_LOCKED2 |
|
global &irqfds_srcu |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
file |
4096-ptr_max |
| DATA_SOURCE |
0 |
file |
$0 |
| DATA_SOURCE |
1 |
wait |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
wait->_key |
0,8-u32max |
| HALF_LOCKED2 |
|
&kvm->irq_srcu |
|
| HALF_LOCKED2 |
|
&of->mutex |
|
| HALF_LOCKED2 |
|
&vm->irqfds_lock |
|
| HALF_LOCKED2 |
|
global &irqfds_srcu |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
file |
4096-ptr_max |
| DATA_SOURCE |
0 |
file |
$0 |
| DATA_SOURCE |
1 |
wait |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
wait->_key |
0,8-u32max |
| HALF_LOCKED2 |
|
&kvm->irq_srcu |
|
| HALF_LOCKED2 |
|
&of->mutex |
|
| HALF_LOCKED2 |
|
&vm->irqfds_lock |
|
| HALF_LOCKED2 |
|
global &irqfds_srcu |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
file |
4096-ptr_max |
| DATA_SOURCE |
0 |
file |
$0 |
| DATA_SOURCE |
1 |
wait |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
wait->_key |
0,8-u32max |
| HALF_LOCKED2 |
|
&kvm->irq_srcu |
|
| HALF_LOCKED2 |
|
&of->mutex |
|
| HALF_LOCKED2 |
|
&vm->irqfds_lock |
|
| HALF_LOCKED2 |
|
global &irqfds_srcu |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
file |
4096-ptr_max |
| DATA_SOURCE |
0 |
file |
$0 |
| DATA_SOURCE |
1 |
wait |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
wait->_key |
0,8-u32max |
| HALF_LOCKED2 |
|
&kvm->irq_srcu |
|
| HALF_LOCKED2 |
|
&of->mutex |
|
| HALF_LOCKED2 |
|
&vm->irqfds_lock |
|
| HALF_LOCKED2 |
|
global &irqfds_srcu |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
file |
4096-ptr_max |
| PARAM_VALUE |
1 |
wait |
0,4096-ptr_max |
| DATA_SOURCE |
0 |
file |
$0 |
| DATA_SOURCE |
1 |
wait |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
wait->_key |
0,8-u32max |
| HALF_LOCKED2 |
|
&kvm->irq_srcu |
|
| HALF_LOCKED2 |
|
&of->mutex |
|
| HALF_LOCKED2 |
|
&vm->irqfds_lock |
|
| HALF_LOCKED2 |
|
global &irqfds_srcu |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
file |
4096-ptr_max |
| DATA_SOURCE |
0 |
file |
$0 |
| DATA_SOURCE |
1 |
wait |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
wait->_key |
0,8-u32max |
| HALF_LOCKED2 |
|
&kvm->irq_srcu |
|
| HALF_LOCKED2 |
|
&of->mutex |
|
| HALF_LOCKED2 |
|
&vm->irqfds_lock |
|
| HALF_LOCKED2 |
|
global &irqfds_srcu |
|