Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/usb/ax88172a.c ax88172a_bind() -> asix_read_phy_addr()

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.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,61,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152
PARAM_VALUE 0 dev->driver_priv 4096-ptr_max
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->dev.power.wakeirq->status 0-4294967295
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 212980356737589248
PARAM_VALUE 0 dev->net->netdev_ops 7286096838242045952
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->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->status 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->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-255
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 0 *dev->udev->tt->hcpriv (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 dev->driver_name 4-25,28-29,32
BUF_SIZE 0 dev->driver_priv 104
BUF_SIZE 0 dev->net->ethtool_ops 656
BUF_SIZE 0 dev->net->netdev_ops 760
DATA_SOURCE 0 dev $0
MEM_ZERO 0 &dev->deferred
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/asix_devices.c ax88172_bind() -> asix_read_phy_addr()

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.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->data 0-2,4,1245443,2039071,10460575,537268737
PARAM_VALUE 0 dev->driver_info->flags 32,61,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->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->intf->needs_altsetting0 0
PARAM_VALUE 0 dev->intf->needs_binding 0
PARAM_VALUE 0 dev->mii.dev 4096-ptr_max
PARAM_VALUE 0 dev->mii.dev->addr_assign_type 1
PARAM_VALUE 0 dev->mii.dev->dev.parent 4096-ptr_max
PARAM_VALUE 0 dev->mii.mdio_read 5471359347818778624
PARAM_VALUE 0 dev->mii.mdio_write 7439032268100087808
PARAM_VALUE 0 dev->mii.phy_id_mask 63
PARAM_VALUE 0 dev->mii.reg_num_mask 31
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 dev->net->addr_assign_type 1
PARAM_VALUE 0 dev->net->dev.parent 4096-ptr_max
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->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->status 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->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-255
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 0 *dev->udev->tt->hcpriv (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 internal 1
BUF_SIZE 0 dev->driver_name 4-25,28-29,32
DATA_SOURCE 0 dev $0
MEM_ZERO 0 &dev->deferred
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/asix_devices.c ax88178_bind() -> asix_read_phy_addr()

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.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,61,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->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->intf->needs_altsetting0 0
PARAM_VALUE 0 dev->intf->needs_binding 0
PARAM_VALUE 0 dev->mii.dev 4096-ptr_max
PARAM_VALUE 0 dev->mii.dev->addr_assign_type 1
PARAM_VALUE 0 dev->mii.dev->dev.parent 4096-ptr_max
PARAM_VALUE 0 dev->mii.mdio_read 5471359347818778624
PARAM_VALUE 0 dev->mii.mdio_write 7439032268100087808
PARAM_VALUE 0 dev->mii.phy_id_mask 31
PARAM_VALUE 0 dev->mii.reg_num_mask 255
PARAM_VALUE 0 dev->mii.supports_gmii 1
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 dev->net->addr_assign_type 1
PARAM_VALUE 0 dev->net->dev.parent 4096-ptr_max
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->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->status 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->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-255
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 0 *dev->udev->tt->hcpriv (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 internal 1
BUF_SIZE 0 dev->driver_name 4-25,28-29,32
DATA_SOURCE 0 dev $0
MEM_ZERO 0 &dev->deferred
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/asix_devices.c ax88772_bind() -> asix_read_phy_addr()

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.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,61,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152
PARAM_VALUE 0 dev->driver_priv 1-u64max
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->dev.power.wakeirq->status 0-4294967295
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->addr_assign_type 1
PARAM_VALUE 0 dev->net->dev.parent 4096-ptr_max
PARAM_VALUE 0 dev->net->ethtool_ops 4671315320526479360
PARAM_VALUE 0 dev->net->needed_headroom 4
PARAM_VALUE 0 dev->net->needed_tailroom 4
PARAM_VALUE 0 dev->net->netdev_ops 6493117322502377472
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->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->status 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.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->udev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->udev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->udev->dev.of_node 0,4096-ptr_max
PARAM_VALUE 0 dev->udev->dev.of_node->properties->length s32min-s32max
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-255
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 0 *dev->udev->tt->hcpriv (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 internal 1
BUF_SIZE 0 dev->driver_name 4-25,28-29,32
BUF_SIZE 0 dev->driver_priv 168
BUF_SIZE 0 dev->net->ethtool_ops 656
BUF_SIZE 0 dev->net->netdev_ops 760
DATA_SOURCE 0 dev $0
MEM_ZERO 0 &dev->deferred
RX_PATH
TASK_NOT_RUNNING