Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/dvb-usb/af9005.c af9005_download_firmware() -> af9005_boot_packet()

Type Parameter Key Value
PARAM_VALUE 0 udev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 udev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 udev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *udev->toggle 0-4294967295
PARAM_VALUE 1 type 0
PARAM_VALUE 2 reply 964418729352847360
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 size 252
BUF_SIZE 3 buf 252
BUF_SIZE 3 buf 252
DATA_SOURCE 0 udev $0
DATA_SOURCE 3 buf r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb/af9005.c af9005_download_firmware() -> af9005_boot_packet()

Type Parameter Key Value
PARAM_VALUE 0 udev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 udev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 udev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *udev->toggle 0-4294967295
PARAM_VALUE 1 type 1
PARAM_VALUE 2 reply 964418729352847360
PARAM_VALUE 2 *reply 1
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 size 252
BUF_SIZE 3 buf 252
BUF_SIZE 3 buf 252
DATA_SOURCE 0 udev $0
DATA_SOURCE 3 buf r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb/af9005.c af9005_download_firmware() -> af9005_boot_packet()

Type Parameter Key Value
PARAM_VALUE 0 udev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 udev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 udev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *udev->toggle 0-4294967295
PARAM_VALUE 1 type 2
PARAM_VALUE 2 reply 964418729352847360
PARAM_VALUE 2 *reply 1
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 size 252
BUF_SIZE 3 buf 252
BUF_SIZE 3 buf 252
DATA_SOURCE 0 udev $0
DATA_SOURCE 3 buf r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb/af9005.c af9005_download_firmware() -> af9005_boot_packet()

Type Parameter Key Value
PARAM_VALUE 0 udev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 udev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 udev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *udev->toggle 0-4294967295
PARAM_VALUE 1 type 0
PARAM_VALUE 2 reply 964418729352847360
PARAM_VALUE 2 *reply 1
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 size 252
BUF_SIZE 3 buf 252
BUF_SIZE 3 buf 252
DATA_SOURCE 0 udev $0
DATA_SOURCE 3 buf r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb/af9005.c af9005_identify_state() -> af9005_boot_packet()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 1 type 0
PARAM_VALUE 2 reply 5690462161942515712
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 size 252
BUF_SIZE 3 buf 252
BUF_SIZE 3 buf 252
CAPPED_DATA 0 udev->descriptor.idProduct 1
CAPPED_DATA 0 udev->descriptor.idVendor 1
DATA_SOURCE 0 udev $0
DATA_SOURCE 3 buf r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING