Documented in 1 files:
Defined in 1 files as a member:
Defined in 3 files as a function:
- drivers/media/usb/em28xx/em28xx-video.c, line 956 (as a function)
- drivers/pci/hotplug/cpqphp_ctrl.c, line 720 (as a function)
- sound/pci/ctxfi/ctresource.c, line 23 (as a function)
Referenced in 6 files:
- drivers/media/usb/em28xx/em28xx-video.c
- drivers/pci/hotplug/cpqphp_ctrl.c
- drivers/vfio/platform/vfio_amba.c, line 57
- drivers/vfio/platform/vfio_platform.c, line 49
- drivers/vfio/platform/vfio_platform_common.c
- sound/pci/ctxfi/ctresource.c, line 80
Smatch caller information:
sound/pci/ctxfi/ctresource.c mgr_get_resource() -> get_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | ridx | 1134778383753175040,1395499978087788544,2529360265236213760,7953367874507153408 |
| BUF_SIZE | 0 | rscs | 2,32 |
| CAPPED_DATA | 2 | multi | 1 |
| DATA_SOURCE | 2 | multi | $1 |
| DATA_SOURCE | 3 | ridx | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | multi | unit_byte |
| LOCK2 | &mgr->mgr_lock | ||
| LOCK2 | irq |
drivers/media/usb/em28xx/em28xx-video.c res_free() -> get_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | rscs | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dmxdev->mutex |
drivers/media/usb/em28xx/em28xx-video.c res_get() -> get_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | rscs | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dmxdev->mutex | ||
| HALF_LOCKED2 | vq->lock |