Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 14 files:
- drivers/net/usb/aqc111.c, line 47
- drivers/net/usb/asix_common.c, line 23
- drivers/net/usb/ax88179_178a.c, line 217
- drivers/net/usb/cdc_ncm.c
- drivers/net/usb/dm9601.c, line 64
- drivers/net/usb/mcs7830.c, line 113
- drivers/net/usb/net1080.c, line 98
- drivers/net/usb/r8153_ecm.c
- drivers/net/usb/sierra_net.c, line 630
- drivers/net/usb/smsc75xx.c, line 80
- drivers/net/usb/smsc95xx.c, line 93
- drivers/net/usb/sr9700.c, line 28
- drivers/net/usb/sr9800.c, line 33
- drivers/net/usb/usbnet.c, line 2147
Smatch caller information:
drivers/net/usb/aqc111.c aqc111_read_cmd() -> usbnet_read_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->driver_info->flags | 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072 |
| PARAM_VALUE | 0 | dev->driver_info->link_reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->stop | 0,222419360661372928,4259716044864118784,5435611627426725888,6723014208665305088,6896059178680975360 |
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->net->name | 0-255 |
| PARAM_VALUE | 0 | *dev->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 1,32 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 3 | value | 0,34,36,43-44,52-53,218-220 |
| PARAM_VALUE | 4 | index | 0-2 |
| PARAM_VALUE | 5 | data | 4096-ptr_max |
| PARAM_VALUE | 6 | size | 1-2,6 |
| BUF_SIZE | 0 | dev->driver_name | (-1),4-25,28-29,32 |
| BUF_SIZE | 0 | dev->driver_priv | (-1),24 |
| BUF_SIZE | 0 | dev->net->ethtool_ops | (-1),656 |
| BUF_SIZE | 0 | dev->net->netdev_ops | (-1),760 |
| BUF_SIZE | 5 | data | (-1),6 |
| BUF_SIZE | 5 | data | (-1),6 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | cmd | $1 |
| DATA_SOURCE | 3 | value | $2 |
| DATA_SOURCE | 4 | index | $3 |
| DATA_SOURCE | 5 | data | $5 |
| DATA_SOURCE | 6 | size | $4 |
| HARD_MAX | 1 | cmd | 32 |
| HARD_MAX | 3 | value | 220 |
| HARD_MAX | 4 | index | 2 |
| HARD_MAX | 6 | size | 6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | dev->hard_mtu | 0-2147549182[c] |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->end | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->len | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->tail | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->truesize | |
| UNITS | 6 | size | unit_byte |
drivers/net/usb/dm9601.c dm_read() -> usbnet_read_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->flags | 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072 |
| PARAM_VALUE | 0 | dev->intf | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->intf->dev.type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->phy_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->phy_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->phy_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->phy_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *dev->net->name | 0-255 |
| PARAM_VALUE | 0 | *dev->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 0 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 3 | value | 0 |
| PARAM_VALUE | 4 | index | 11,13,16,44,145 |
| PARAM_VALUE | 5 | data | 4096-ptr_max |
| PARAM_VALUE | 6 | size | 1-2,6 |
| BUF_SIZE | 0 | dev->driver_name | (-1),4-25,28-29,32 |
| BUF_SIZE | 0 | dev->net->ethtool_ops | (-1),656 |
| BUF_SIZE | 0 | dev->net->netdev_ops | (-1),760 |
| BUF_SIZE | 5 | data | (-1),6 |
| BUF_SIZE | 5 | data | (-1),6 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 4 | index | $1 |
| DATA_SOURCE | 5 | data | $3 |
| DATA_SOURCE | 6 | size | $2 |
| HARD_MAX | 4 | index | 145 |
| HARD_MAX | 6 | size | 6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &dev->phy_mutex |
drivers/net/usb/sierra_net.c sierra_net_get_fw_attr() -> usbnet_read_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.poisoned | 0 |
| PARAM_VALUE | 0 | dev->deferred.suspend_wakeups.counter | 0 |
| PARAM_VALUE | 0 | dev->deferred.urb_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.urb_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.urb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.urb_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->delay.entry.pprev | 0 |
| PARAM_VALUE | 0 | dev->delay.flags | 0-4194302 |
| PARAM_VALUE | 0 | dev->delay.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->done.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->done.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->done.qlen | 0 |
| PARAM_VALUE | 0 | dev->driver_info | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->flags | 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152 |
| PARAM_VALUE | 0 | dev->in | 0,128-u32max |
| PARAM_VALUE | 0 | dev->interrupt_count | 0 |
| PARAM_VALUE | 0 | dev->interrupt_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->interrupt_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | dev->interrupt_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->interrupt_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | dev->interrupt_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | dev->intf | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->authorized | 1 |
| PARAM_VALUE | 0 | dev->intf->condition | 1 |
| PARAM_VALUE | 0 | dev->intf->dev.driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->needs_altsetting0 | 0 |
| PARAM_VALUE | 0 | dev->intf->needs_binding | 0 |
| PARAM_VALUE | 0 | dev->net | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->net->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->net->ethtool_ops | 4541473053334470656 |
| PARAM_VALUE | 0 | dev->net->flags | 0,128-u32max |
| PARAM_VALUE | 0 | dev->net->max_mtu | 1500 |
| PARAM_VALUE | 0 | dev->net->netdev_ops | 7914020223769112576 |
| PARAM_VALUE | 0 | dev->out | 0,1073741824-u32max |
| PARAM_VALUE | 0 | dev->phy_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->phy_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | dev->phy_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->phy_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | dev->phy_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | dev->rx_speed | (-1) |
| PARAM_VALUE | 0 | dev->rx_urb_size | 4096,8192 |
| PARAM_VALUE | 0 | dev->rxq.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->rxq.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->rxq.qlen | 0 |
| PARAM_VALUE | 0 | dev->rxq_pause.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->rxq_pause.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->rxq_pause.qlen | 0 |
| PARAM_VALUE | 0 | dev->tx_speed | (-1) |
| PARAM_VALUE | 0 | dev->txq.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->txq.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->txq.qlen | 0 |
| PARAM_VALUE | 0 | dev->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->udev->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | dev->wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | *dev->net->name | 0 |
| PARAM_VALUE | 0 | *dev->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 6 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 3 | value | 0 |
| PARAM_VALUE | 4 | index | 0 |
| PARAM_VALUE | 5 | data | 4728855241113735168 |
| PARAM_VALUE | 6 | size | 2 |
| BUF_SIZE | 0 | dev->driver_name | 4-25,28-29,32 |
| BUF_SIZE | 0 | dev->net->ethtool_ops | 656 |
| BUF_SIZE | 0 | dev->net->netdev_ops | 760 |
| BUF_SIZE | 5 | data | 2 |
| CAPPED_DATA | 0 | dev->rx_urb_size | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| FUZZY_MAX | 0 | dev->rx_urb_size | 8192 |
| BIT_INFO | 0 | dev->net->flags | 0x80,0xffffffffffffffff |
| BIT_INFO | 0 | dev->rx_urb_size | 0x0,0x3000 |
| MEM_ZERO | 0 | &dev->deferred | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 6 | size | unit_byte |
drivers/net/usb/r8153_ecm.c pla_read_word() -> usbnet_read_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->intf->dev.type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *dev->net->name | 0-255 |
| PARAM_VALUE | 1 | cmd | 5 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 3 | value | 0,4-65532 |
| PARAM_VALUE | 4 | index | 307,460 |
| PARAM_VALUE | 5 | data | 5660399775080439808 |
| PARAM_VALUE | 6 | size | 4 |
| BUF_SIZE | 5 | data | 4 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 3 | value | $1 [m] |
| BIT_INFO | 3 | value | 0x0,0xfffc |
| BIT_INFO | 4 | index | 0x100,0x1ff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 6 | size | unit_byte |
drivers/net/usb/r8153_ecm.c pla_write_word() -> usbnet_read_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 5 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 3 | value | 0,4-65532 |
| PARAM_VALUE | 4 | index | 307,460 |
| PARAM_VALUE | 5 | data | 8749346221367123968 |
| PARAM_VALUE | 6 | size | 4 |
| BUF_SIZE | 5 | data | 4 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 3 | value | $1 [m] |
| BIT_INFO | 3 | value | 0x0,0xfffc |
| BIT_INFO | 4 | index | 0x100,0x1ff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 6 | size | unit_byte |
drivers/net/usb/sr9700.c sr_read() -> usbnet_read_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->driver_info->flags | 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072 |
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->net->name | 0-255 |
| PARAM_VALUE | 0 | *dev->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 0 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 3 | value | 0 |
| PARAM_VALUE | 4 | index | 1,11,13,16 |
| PARAM_VALUE | 5 | data | 4096-ptr_max |
| PARAM_VALUE | 6 | size | 1-2,6 |
| BUF_SIZE | 0 | dev->driver_name | (-1),4-25,28-29,32 |
| BUF_SIZE | 5 | data | (-1),6 |
| BUF_SIZE | 5 | data | (-1),6 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 4 | index | $1 |
| DATA_SOURCE | 5 | data | $3 |
| DATA_SOURCE | 6 | size | $2 |
| HARD_MAX | 4 | index | 16 |
| HARD_MAX | 6 | size | 6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &dev->phy_mutex |
drivers/net/usb/net1080.c nc_vendor_read() -> usbnet_read_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->check_connect | 0,4360945745349664768,4410088904158785536,5653805294529658880,6205464036663947264 |
| PARAM_VALUE | 0 | dev->driver_info->reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 16 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 3 | value | 0 |
| PARAM_VALUE | 4 | index | 4,16-17 |
| PARAM_VALUE | 5 | data | 3321934044905164800,8609404177490034688 |
| PARAM_VALUE | 6 | size | 2 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | cmd | $1 |
| DATA_SOURCE | 4 | index | $2 |
| DATA_SOURCE | 5 | data | $3 |
| HARD_MAX | 4 | index | 17 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 6 | size | unit_byte |
drivers/net/usb/mcs7830.c mcs7830_get_reg() -> usbnet_read_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 14 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 3 | value | 0 |
| PARAM_VALUE | 4 | index | 0,10,12,15,21 |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->driver_name | (-1),4-25,28-29,32 |
| BUF_SIZE | 5 | data | (-1),1-s32max |
| BUF_SIZE | 5 | data | (-1),1-s32max |
| CAPPED_DATA | 6 | size | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 4 | index | $1 |
| DATA_SOURCE | 5 | data | $3 |
| DATA_SOURCE | 6 | size | $2 |
| NOSPEC | 6 | size | |
| NOSPEC | 6 | size | |
| HARD_MAX | 4 | index | 21 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 6 | size | 0-u16max[c] |
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | 0 | &dev->phy_mutex |
drivers/net/usb/cdc_ncm.c cdc_ncm_init() -> usbnet_read_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->data | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.poisoned | 0 |
| PARAM_VALUE | 0 | dev->deferred.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->deferred.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->delay.entry.pprev | 0 |
| PARAM_VALUE | 0 | dev->delay.flags | 0-4194302 |
| PARAM_VALUE | 0 | dev->delay.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->done.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->done.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->done.qlen | 0 |
| PARAM_VALUE | 0 | dev->driver_info | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->bind | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->check_connect | 0,4360945745349664768,4410088904158785536,5653805294529658880,6205464036663947264 |
| PARAM_VALUE | 0 | dev->driver_info->data | 0-2,4,1245443,2039071,10460575,537268737 |
| PARAM_VALUE | 0 | dev->driver_info->early_init | 0 |
| PARAM_VALUE | 0 | dev->driver_info->flags | 32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072 |
| PARAM_VALUE | 0 | dev->driver_info->in | 0-2,4 |
| PARAM_VALUE | 0 | dev->driver_info->indication | 0 |
| PARAM_VALUE | 0 | dev->driver_info->link_reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->manage_power | 0,1506678758508355584,2826099265391374336,5417900502053539840,6162498990675783680,7442110100846649344,8583981312855863296 |
| PARAM_VALUE | 0 | dev->driver_info->out | 0,2-3 |
| PARAM_VALUE | 0 | dev->driver_info->recover | 0,3716476772017917952 |
| PARAM_VALUE | 0 | dev->driver_info->reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->rx_fixup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->set_rx_mode | 0,1133741414766354432,2427045778604806144 |
| PARAM_VALUE | 0 | dev->driver_info->status | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->stop | 0,222419360661372928,4259716044864118784,5435611627426725888,6723014208665305088,6896059178680975360 |
| PARAM_VALUE | 0 | dev->driver_info->tx_fixup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->unbind | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->interrupt_count | 0 |
| PARAM_VALUE | 0 | dev->interrupt_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->interrupt_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->authorized | 1 |
| PARAM_VALUE | 0 | dev->intf->condition | 1 |
| PARAM_VALUE | 0 | dev->intf->dev.driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->needs_altsetting0 | 0 |
| PARAM_VALUE | 0 | dev->intf->needs_binding | 0 |
| PARAM_VALUE | 0 | dev->net | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->net->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->phy_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->phy_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | dev->phy_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->phy_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | dev->phy_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | dev->rx_speed | (-1) |
| PARAM_VALUE | 0 | dev->rxq.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->rxq.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->rxq.qlen | 0 |
| PARAM_VALUE | 0 | dev->rxq_pause.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->rxq_pause.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->rxq_pause.qlen | 0 |
| PARAM_VALUE | 0 | dev->tx_speed | (-1) |
| PARAM_VALUE | 0 | dev->txq.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->txq.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->txq.qlen | 0 |
| PARAM_VALUE | 0 | dev->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->udev->actconfig | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->udev->actconfig->desc.bNumInterfaces | 1-255 |
| PARAM_VALUE | 0 | dev->udev->state | 0-7,9-u32max |
| PARAM_VALUE | 0 | dev->wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | *dev->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 128 |
| PARAM_VALUE | 2 | reqtype | 161 |
| PARAM_VALUE | 3 | value | 0 |
| PARAM_VALUE | 5 | data | 4096-ptr_max |
| PARAM_VALUE | 6 | size | 28 |
| BUF_SIZE | 0 | dev->driver_name | 4-25,28-29,32 |
| BUF_SIZE | 5 | data | 28 |
| CAPPED_DATA | 0 | dev->udev | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| MEM_ZERO | 0 | &dev->deferred | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 6 | size | unit_byte |
drivers/net/usb/cdc_ncm.c cdc_ncm_set_dgram_size() -> usbnet_read_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->data | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->bind | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->check_connect | 0,4360945745349664768,4410088904158785536,5653805294529658880,6205464036663947264 |
| PARAM_VALUE | 0 | dev->driver_info->data | 0-2,4,1245443,2039071,10460575,537268737 |
| PARAM_VALUE | 0 | dev->driver_info->early_init | 0 |
| PARAM_VALUE | 0 | dev->driver_info->flags | 32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072 |
| PARAM_VALUE | 0 | dev->driver_info->in | 0-2,4 |
| PARAM_VALUE | 0 | dev->driver_info->indication | 0 |
| PARAM_VALUE | 0 | dev->driver_info->link_reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->manage_power | 0,1506678758508355584,2826099265391374336,5417900502053539840,6162498990675783680,7442110100846649344,8583981312855863296 |
| PARAM_VALUE | 0 | dev->driver_info->out | 0,2-3 |
| PARAM_VALUE | 0 | dev->driver_info->recover | 0,3716476772017917952 |
| PARAM_VALUE | 0 | dev->driver_info->reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->rx_fixup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->set_rx_mode | 0,1133741414766354432,2427045778604806144 |
| PARAM_VALUE | 0 | dev->driver_info->status | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->stop | 0,222419360661372928,4259716044864118784,5435611627426725888,6723014208665305088,6896059178680975360 |
| PARAM_VALUE | 0 | dev->driver_info->tx_fixup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->unbind | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->cur_altsetting | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->net->name | 0-255 |
| PARAM_VALUE | 0 | *dev->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 135 |
| PARAM_VALUE | 2 | reqtype | 161 |
| PARAM_VALUE | 3 | value | 0 |
| PARAM_VALUE | 5 | data | 2994003725561569280 |
| PARAM_VALUE | 6 | size | 2 |
| BUF_SIZE | 0 | dev->driver_name | (-1),4-25,28-29,32 |
| BUF_SIZE | 5 | data | 2 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | dev->hard_mtu | |
| UNITS | 6 | size | unit_byte |
drivers/net/usb/sr9800.c sr_read_cmd() -> usbnet_read_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->driver_info->flags | 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072 |
| PARAM_VALUE | 0 | dev->driver_info->reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->net->name | 0-255 |
| PARAM_VALUE | 0 | *dev->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 7,11,15,19,25-26,28 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 5 | data | 4096-ptr_max |
| PARAM_VALUE | 6 | size | 1-2,6 |
| BUF_SIZE | 0 | dev->driver_name | (-1),4-25,28-29,32 |
| BUF_SIZE | 0 | dev->net->ethtool_ops | (-1),656 |
| BUF_SIZE | 0 | dev->net->netdev_ops | (-1),760 |
| BUF_SIZE | 5 | data | (-1),2,6 |
| BUF_SIZE | 5 | data | (-1),2,6 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | cmd | $1 |
| DATA_SOURCE | 3 | value | $2 |
| DATA_SOURCE | 4 | index | $3 |
| DATA_SOURCE | 5 | data | $5 |
| DATA_SOURCE | 6 | size | $4 |
| HARD_MAX | 1 | cmd | 28 |
| HARD_MAX | 6 | size | 6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | value | 0-u16max[c] |
| NO_OVERFLOW_SIMPLE | 0 | dev->mii.phy_id | |
| HALF_LOCKED2 | 0 | &dev->phy_mutex |
drivers/net/usb/ax88179_178a.c __ax88179_read_cmd() -> __ax88179_read_cmd ptr fn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->flags | 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072 |
| PARAM_VALUE | 0 | dev->driver_info->link_reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->stop | 0,222419360661372928,4259716044864118784,5435611627426725888,6723014208665305088,6896059178680975360 |
| PARAM_VALUE | 0 | dev->driver_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 1-2,4-5,129 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 5 | data | 4096-ptr_max |
| PARAM_VALUE | 6 | size | 1-2,4,6,64 |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->driver_name | (-1),4-25,28-29,32 |
| BUF_SIZE | 0 | dev->driver_priv | (-1),20 |
| BUF_SIZE | 0 | dev->net->ethtool_ops | (-1),656 |
| BUF_SIZE | 0 | dev->net->netdev_ops | (-1),760 |
| BUF_SIZE | 5 | data | (-1),2,4,6,8,64 |
| BUF_SIZE | 5 | data | (-1),2,4,6,8,64 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | cmd | $1 |
| DATA_SOURCE | 3 | value | $2 |
| DATA_SOURCE | 4 | index | $3 |
| DATA_SOURCE | 5 | data | $5 |
| DATA_SOURCE | 6 | size | $4 |
| HARD_MAX | 1 | cmd | 129 |
| HARD_MAX | 6 | size | 64 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | dev->hard_mtu | 0-2147549182[c] |
| USER_DATA | 3 | value | 0-u16max[c] |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->end | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->len | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->tail | |
| NO_OVERFLOW_SIMPLE | 0 | dev->rxq.prev->truesize | |
| UNITS | 0 | dev | unit_byte |
drivers/net/usb/smsc95xx.c smsc95xx_read_reg() -> smsc95xx_read_reg ptr fn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_info->flags | 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072 |
| PARAM_VALUE | 0 | dev->driver_info->reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->net->name | 0-255 |
| PARAM_VALUE | 0 | *dev->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 161 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 3 | value | 0 |
| PARAM_VALUE | 4 | index | 0,4-304 |
| PARAM_VALUE | 5 | data | 707804397233397760 |
| PARAM_VALUE | 6 | size | 4 |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->driver_name | (-1),4-25,28-29,32 |
| BUF_SIZE | 0 | dev->driver_priv | (-1),424 |
| BUF_SIZE | 5 | data | 4 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 4 | index | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | 0 | &dev->phy_mutex |
drivers/net/usb/smsc75xx.c __smsc75xx_read_reg() -> __smsc75xx_read_reg ptr fn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 1-u64max |
| PARAM_VALUE | 0 | dev->driver_info->flags | 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072 |
| PARAM_VALUE | 0 | dev->driver_info->reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->net->name | 0-255 |
| PARAM_VALUE | 0 | *dev->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 161 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 3 | value | 0 |
| PARAM_VALUE | 4 | index | 0,16,20,24,36,52,56,60,64,68,96,144,148,256,260,264,288,292,320 |
| PARAM_VALUE | 5 | data | 7513216684910489600 |
| PARAM_VALUE | 6 | size | 4 |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->driver_name | (-1),4-25,28-29,32 |
| BUF_SIZE | 5 | data | 4 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 4 | index | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | 0 | &dev->phy_mutex |
drivers/net/usb/asix_common.c asix_read_cmd() -> asix_read_cmd ptr fn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 1-u64max |
| PARAM_VALUE | 0 | dev->driver_info->data | 0-2,4,1245443,2039071,10460575,537268737 |
| PARAM_VALUE | 0 | dev->driver_info->flags | 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072 |
| PARAM_VALUE | 0 | dev->driver_info->reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->net->name | 0-255 |
| PARAM_VALUE | 0 | *dev->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | cmd | 7,9,11,15,19,23,25-26,28,30,33 |
| PARAM_VALUE | 2 | reqtype | 192 |
| PARAM_VALUE | 6 | size | 1-2,6 |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->driver_name | (-1),4-25,28-29,32 |
| BUF_SIZE | 0 | dev->driver_priv | (-1),104,168 |
| BUF_SIZE | 0 | dev->net->ethtool_ops | (-1),656 |
| BUF_SIZE | 0 | dev->net->netdev_ops | (-1),760 |
| BUF_SIZE | 5 | data | (-1),2,6 |
| BUF_SIZE | 5 | data | (-1),2,6 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | cmd | $1 |
| DATA_SOURCE | 3 | value | $2 |
| DATA_SOURCE | 4 | index | $3 |
| DATA_SOURCE | 5 | data | $5 |
| DATA_SOURCE | 6 | size | $4 |
| HARD_MAX | 1 | cmd | 33 |
| HARD_MAX | 6 | size | 6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | dev->hard_mtu | 0-2147549182[c] |
| USER_DATA | 3 | value | 0-u16max[c] |
| USER_DATA | 4 | index | 2-u16max[c] |
| UNITS | 3 | value | unit_array_size |
| HALF_LOCKED2 | 0 | &dev->phy_mutex |