Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- drivers/media/usb/dvb-usb-v2/af9015.c, line 92
- drivers/media/usb/dvb-usb-v2/af9035.c, line 72
- drivers/media/usb/dvb-usb-v2/anysee.c, line 53
- drivers/media/usb/dvb-usb-v2/dvb_usb_urb.c, line 90
- drivers/media/usb/dvb-usb-v2/dvbsky.c, line 49
- drivers/media/usb/dvb-usb-v2/lmedm04.c, line 155
Smatch caller information:
drivers/media/usb/dvb-usb-v2/af9035.c af9035_ctrl_msg() -> dvb_usbv2_generic_rw_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | d->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | d->props->init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->props->probe | 0,728658446828941312,3941680638007918592 |
| PARAM_VALUE | 0 | d->props->read_config | 0,2278787948806926336,4696386493677379584,6157340845122408448,8229227616286449664 |
| 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.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | *d->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | wbuf | 4096-ptr_max |
| PARAM_VALUE | 2 | wlen | 6-64 |
| PARAM_VALUE | 3 | rbuf | 4096-ptr_max |
| PARAM_VALUE | 4 | rlen | 0,5-45 |
| BUF_SIZE | 0 | d | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | d | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | d->priv | (-1),1-s32max |
| BUF_SIZE | 1 | wbuf | 64 |
| BUF_SIZE | 3 | rbuf | 64 |
| CAPPED_DATA | 0 | &d->usb_mutex | 1 |
| DATA_SOURCE | 0 | d | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | d | unit_byte |
| UNITS | 2 | wlen | unit_byte |
| UNITS | 4 | rlen | unit_byte |
| LOCK2 | 0 | &d->usb_mutex | |
| HALF_LOCKED2 | 0 | &d->i2c_mutex | |
| TYPE_LOCK | (struct dvb_usb_device)->usb_mutex |
drivers/media/usb/dvb-usb-v2/anysee.c anysee_ctrl_msg() -> dvb_usbv2_generic_rw_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | d->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | d->props->init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->props->probe | 0,728658446828941312,3941680638007918592 |
| PARAM_VALUE | 0 | d->props->read_config | 0,2278787948806926336,4696386493677379584,6157340845122408448,8229227616286449664 |
| 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.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | *d->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | wbuf | 4096-ptr_max |
| PARAM_VALUE | 2 | wlen | 64 |
| PARAM_VALUE | 3 | rbuf | 4096-ptr_max |
| PARAM_VALUE | 4 | rlen | 64 |
| BUF_SIZE | 0 | d | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | d | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | d->priv | (-1),1-s32max |
| BUF_SIZE | 1 | wbuf | 64 |
| BUF_SIZE | 3 | rbuf | 64 |
| CAPPED_DATA | 0 | &d->usb_mutex | 1 |
| DATA_SOURCE | 0 | d | $0 |
| STR_LEN | 0 | d | (-1) |
| STR_LEN | 0 | d | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | d | unit_byte |
| UNITS | 2 | wlen | unit_byte |
| UNITS | 4 | rlen | unit_byte |
| LOCK2 | 0 | &d->usb_mutex | |
| HALF_LOCKED2 | 0 | &d->i2c_mutex | |
| TYPE_LOCK | (struct dvb_usb_device)->usb_mutex |
drivers/media/usb/dvb-usb-v2/dvbsky.c dvbsky_usb_generic_rw() -> dvb_usbv2_generic_rw_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | d->props->probe | 0,728658446828941312,3941680638007918592 |
| 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.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 2 | wlen | 1,3-64 |
| PARAM_VALUE | 4 | rlen | 1-61 |
| BUF_SIZE | 0 | d | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | d | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | d->priv | (-1),1-s32max |
| BUF_SIZE | 1 | wbuf | 64 |
| BUF_SIZE | 3 | rbuf | 64 |
| CAPPED_DATA | 0 | &d->usb_mutex | 1 |
| DATA_SOURCE | 0 | d | $0 |
| DATA_SOURCE | 2 | wlen | $2 |
| DATA_SOURCE | 4 | rlen | $4 |
| FUZZY_MAX | 2 | wlen | 4 |
| FUZZY_MAX | 4 | rlen | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | d | unit_byte |
| UNITS | 2 | wlen | unit_byte |
| UNITS | 4 | rlen | unit_byte |
| LOCK2 | 0 | &d->usb_mutex | |
| HALF_LOCKED2 | 0 | &d->i2c_mutex | |
| TYPE_LOCK | (struct dvb_usb_device)->usb_mutex |
drivers/media/usb/dvb-usb-v2/lmedm04.c lme2510_usb_talk() -> dvb_usbv2_generic_rw_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | d->i2c_adap.debugfs->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | d->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | d->props->frontend_ctrl | 0,1061093989743603712,8711873708018962432 |
| PARAM_VALUE | 0 | d->props->init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->props->probe | 0,728658446828941312,3941680638007918592 |
| PARAM_VALUE | 0 | d->props->read_config | 0,2278787948806926336,4696386493677379584,6157340845122408448,8229227616286449664 |
| PARAM_VALUE | 0 | d->usb_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | d->usb_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | *d->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 4 | rlen | 1,64 |
| BUF_SIZE | 0 | d | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | d | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | d->priv | (-1),1-s32max |
| BUF_SIZE | 1 | wbuf | 64 |
| BUF_SIZE | 3 | rbuf | 64 |
| CAPPED_DATA | 0 | &d->usb_mutex | 1 |
| DATA_SOURCE | 0 | d | $0 |
| DATA_SOURCE | 2 | wlen | $2 |
| DATA_SOURCE | 4 | rlen | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | d->input_dev->max_vals | |
| UNITS | 0 | d | unit_byte |
| UNITS | 2 | wlen | unit_byte |
| UNITS | 4 | rlen | unit_byte |
| LOCK2 | 0 | &d->usb_mutex | |
| HALF_LOCKED2 | 0 | &d->i2c_mutex | |
| TYPE_LOCK | (struct dvb_usb_device)->usb_mutex |
drivers/media/usb/dvb-usb-v2/af9015.c af9015_ctrl_msg() -> dvb_usbv2_generic_rw_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | d->props->probe | 0,728658446828941312,3941680638007918592 |
| PARAM_VALUE | 0 | d->props->read_config | 0,2278787948806926336,4696386493677379584,6157340845122408448,8229227616286449664 |
| 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.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | d->usb_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | *d->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | wbuf | 4096-ptr_max |
| PARAM_VALUE | 2 | wlen | 8-63 |
| PARAM_VALUE | 3 | rbuf | 4096-ptr_max |
| PARAM_VALUE | 4 | rlen | 0,2-63 |
| BUF_SIZE | 0 | d | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | d | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | d->priv | (-1),1-s32max |
| BUF_SIZE | 1 | wbuf | 63 |
| BUF_SIZE | 3 | rbuf | 63 |
| CAPPED_DATA | 0 | &d->usb_mutex | 1 |
| DATA_SOURCE | 0 | d | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | d | unit_byte |
| LOCK2 | 0 | &d->usb_mutex | |
| TYPE_LOCK | (struct dvb_usb_device)->usb_mutex |