Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/mc/mc-dev-allocator.c media_device_usb_allocate() -> __media_device_usb_init()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->dev 0
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 3 driver_name 572767973774405632,5247080570893594624
BUF_SIZE 0 mdev 992
BUF_SIZE 3 driver_name 7,14
BUF_SIZE 3 driver_name 7,14
CAPPED_DATA 1 &udev->dev 1
DATA_SOURCE 0 mdev r __media_device_get
DATA_SOURCE 1 udev $0
DATA_SOURCE 3 driver_name $1
STR_LEN 0 mdev 6,13
STR_LEN 1 udev 6,13
TERMINATED 3 driver_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &media_device_lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 _T->lock

drivers/media/usb/cx231xx/cx231xx-cards.c cx231xx_media_device_init() -> __media_device_usb_init()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->actconfig 4096-ptr_max
PARAM_VALUE 1 udev->actconfig->intf_assoc 4096-ptr_max
PARAM_VALUE 1 udev->config 4096-ptr_max
PARAM_VALUE 3 driver_name 387656497270112256
BUF_SIZE 0 mdev 992
BUF_SIZE 3 driver_name 8
DATA_SOURCE 0 mdev r _kzalloc_noprof
DATA_SOURCE 1 udev $1
STR_LEN 0 mdev 7
TERMINATED 3 driver_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dvb-usb-dvb.c dvb_usb_media_device_init() -> __media_device_usb_init()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 3 driver_name 9216349017690374144
BUF_SIZE 0 mdev 992
BUF_SIZE 3 driver_name 8
DATA_SOURCE 0 mdev r _kzalloc_noprof
STR_LEN 0 mdev 7
TERMINATED 3 driver_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/siano/smsusb.c siano_media_device_register() -> __media_device_usb_init()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->bus 4096-ptr_max
PARAM_VALUE 3 driver_name 8267081418870456320
BUF_SIZE 0 mdev 992
BUF_SIZE 3 driver_name 7
DATA_SOURCE 0 mdev r _kzalloc_noprof
STR_LEN 0 mdev 6
TERMINATED 3 driver_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb-v2/dvb_usb_core.c dvb_usbv2_media_device_init() -> __media_device_usb_init()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 3 driver_name 1506242843766861824
BUF_SIZE 0 mdev 992
BUF_SIZE 3 driver_name 11
DATA_SOURCE 0 mdev r _kzalloc_noprof
STR_LEN 0 mdev 10
TERMINATED 3 driver_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/em28xx/em28xx-cards.c em28xx_media_device_init() -> __media_device_usb_init()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->config 4096-ptr_max
PARAM_VALUE 1 udev->product 1-u64max
PARAM_VALUE 2 board_name 1-u64max
PARAM_VALUE 3 driver_name 3400632841168814080
BUF_SIZE 0 mdev 992
BUF_SIZE 3 driver_name 7
CAPPED_DATA 1 udev->config->desc.bNumInterfaces 1
DATA_SOURCE 0 mdev r _kzalloc_noprof
DATA_SOURCE 1 udev $1
STR_LEN 0 mdev 6
TERMINATED 3 driver_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/em28xx/em28xx-cards.c em28xx_media_device_init() -> __media_device_usb_init()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->config 4096-ptr_max
PARAM_VALUE 1 udev->manufacturer 1-u64max
PARAM_VALUE 1 udev->product 0
PARAM_VALUE 2 board_name 1-u64max
PARAM_VALUE 3 driver_name 3400632841168814080
BUF_SIZE 0 mdev 992
BUF_SIZE 3 driver_name 7
CAPPED_DATA 1 udev->config->desc.bNumInterfaces 1
DATA_SOURCE 0 mdev r _kzalloc_noprof
DATA_SOURCE 1 udev $1
STR_LEN 0 mdev 6
TERMINATED 3 driver_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/em28xx/em28xx-cards.c em28xx_media_device_init() -> __media_device_usb_init()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->config 4096-ptr_max
PARAM_VALUE 1 udev->manufacturer 0
PARAM_VALUE 1 udev->product 0
PARAM_VALUE 3 driver_name 3400632841168814080
BUF_SIZE 0 mdev 992
BUF_SIZE 2 board_name 1-s32max
BUF_SIZE 3 driver_name 7
CAPPED_DATA 1 udev->config->desc.bNumInterfaces 1
DATA_SOURCE 0 mdev r _kzalloc_noprof
DATA_SOURCE 1 udev $1
STR_LEN 0 mdev 6
TERMINATED 3 driver_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL