Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/dvb-usb-v2/af9035.c af9035_download_firmware() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->i2c_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->i2c_mutex.first_waiter 0
PARAM_VALUE 0 d->i2c_mutex.magic 4096-ptr_max
PARAM_VALUE 0 d->i2c_mutex.osq.tail.counter 0
PARAM_VALUE 0 d->i2c_mutex.owner.counter 0
PARAM_VALUE 0 d->intf 4096-ptr_max
PARAM_VALUE 0 d->intf->authorized 1
PARAM_VALUE 0 d->intf->condition 1
PARAM_VALUE 0 d->intf->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 d->intf->needs_altsetting0 0
PARAM_VALUE 0 d->intf->needs_binding 0
PARAM_VALUE 0 d->priv 4096-ptr_max
PARAM_VALUE 0 d->props 4096-ptr_max
PARAM_VALUE 0 d->props->download_firmware 1-u64max
PARAM_VALUE 0 d->props->identify_state 1-u64max
PARAM_VALUE 0 d->props->probe 0,728658446828941312,3941680638007918592
PARAM_VALUE 0 d->props->size_of_priv 0-4000000
PARAM_VALUE 0 d->udev->bus->sysdev->iommu->attach_deferred 0-1
PARAM_VALUE 0 d->udev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 d->udev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 d->udev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 d->udev->parent->bus->sysdev->iommu->attach_deferred 0-1
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 d->usb_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 d->usb_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 0 *d->udev->toggle 0-4294967295
PARAM_VALUE 1 reg 19451
PARAM_VALUE 2 val 1-255
BUF_SIZE 0 d 9920
BUF_SIZE 0 d->priv (-1),1-s32max
CAPPED_DATA 0 d->props->bInterfaceNumber 1
DATA_SOURCE 0 d $0
FUZZY_MAX 2 val 58
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c af9035_download_firmware() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->i2c_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->i2c_mutex.first_waiter 0
PARAM_VALUE 0 d->i2c_mutex.magic 4096-ptr_max
PARAM_VALUE 0 d->i2c_mutex.osq.tail.counter 0
PARAM_VALUE 0 d->i2c_mutex.owner.counter 0
PARAM_VALUE 0 d->intf 4096-ptr_max
PARAM_VALUE 0 d->intf->authorized 1
PARAM_VALUE 0 d->intf->condition 1
PARAM_VALUE 0 d->intf->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 d->intf->needs_altsetting0 0
PARAM_VALUE 0 d->intf->needs_binding 0
PARAM_VALUE 0 d->priv 4096-ptr_max
PARAM_VALUE 0 d->props 4096-ptr_max
PARAM_VALUE 0 d->props->download_firmware 1-u64max
PARAM_VALUE 0 d->props->identify_state 1-u64max
PARAM_VALUE 0 d->props->probe 0,728658446828941312,3941680638007918592
PARAM_VALUE 0 d->props->size_of_priv 0-4000000
PARAM_VALUE 0 d->udev->bus->sysdev->iommu->attach_deferred 0-1
PARAM_VALUE 0 d->udev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 d->udev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 d->udev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 d->udev->parent->bus->sysdev->iommu->attach_deferred 0-1
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 d->usb_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 d->usb_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 0 *d->udev->toggle 0-4294967295
PARAM_VALUE 1 reg 16767
PARAM_VALUE 2 val 1-255
BUF_SIZE 0 d 9920
BUF_SIZE 0 d->priv (-1),1-s32max
CAPPED_DATA 0 d->props->bInterfaceNumber 1
DATA_SOURCE 0 d $0
FUZZY_MAX 2 val 58
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c af9035_fc0011_tuner_callback() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv 4096-ptr_max
PARAM_VALUE 1 reg 55529
PARAM_VALUE 2 val 1
BUF_SIZE 0 d s32min-(-2),1-s32max
BUF_SIZE 0 d s32min-(-2),1-s32max
DATA_SOURCE 0 d $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 d unit_byte
HALF_LOCKED2 &priv->lock

drivers/media/usb/dvb-usb-v2/af9035.c af9035_fc0011_tuner_callback() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 55528
PARAM_VALUE 2 val 1
BUF_SIZE 0 d s32min-(-2),1-s32max
BUF_SIZE 0 d s32min-(-2),1-s32max
DATA_SOURCE 0 d $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 d unit_byte
HALF_LOCKED2 &priv->lock

drivers/media/usb/dvb-usb-v2/af9035.c af9035_fc0011_tuner_callback() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 55527
PARAM_VALUE 2 val 1
BUF_SIZE 0 d s32min-(-2),1-s32max
BUF_SIZE 0 d s32min-(-2),1-s32max
DATA_SOURCE 0 d $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 d unit_byte
HALF_LOCKED2 &priv->lock

drivers/media/usb/dvb-usb-v2/af9035.c af9035_fc0011_tuner_callback() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 55527
PARAM_VALUE 2 val 0
BUF_SIZE 0 d s32min-(-2),1-s32max
BUF_SIZE 0 d s32min-(-2),1-s32max
DATA_SOURCE 0 d $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 d unit_byte
HALF_LOCKED2 &priv->lock

drivers/media/usb/dvb-usb-v2/af9035.c af9035_tuner_attach() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 1 reg 55520
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c af9035_tuner_attach() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 55521
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c af9035_tuner_attach() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 55519
PARAM_VALUE 2 val 0
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c af9035_tuner_attach() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 55519
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c af9035_tuner_attach() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 55488
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c af9035_tuner_attach() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 55489
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c af9035_tuner_attach() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 55487
PARAM_VALUE 2 val 0
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c af9035_tuner_attach() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 55476
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c af9035_tuner_attach() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 55477
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c af9035_tuner_attach() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 55475
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c it930x_frontend_attach() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 1 reg 63143
PARAM_VALUE 2 val 7
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb-v2/af9035.c it930x_frontend_attach() -> af9035_wr_reg()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->priv->seq 0-255
PARAM_VALUE 0 d->usb_mutex.dep_map->name 0-255
PARAM_VALUE 0 d->usb_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 d->usb_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *d->priv->buf 0-255
PARAM_VALUE 1 reg 61699
PARAM_VALUE 2 val 7
RX_PATH
TASK_NOT_RUNNING