Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/lan78xx.c lan78xx_alloc_rx_resources() -> lan78xx_alloc_buf_pool()

Type Parameter Key Value
PARAM_VALUE 0 buf_pool 4096-ptr_max
PARAM_VALUE 1 n_urbs 10,30
PARAM_VALUE 2 urb_size 10240,16384,32768
PARAM_VALUE 3 dev 4096-ptr_max
PARAM_VALUE 3 dev->bulk_in_delay 8192
PARAM_VALUE 3 dev->burst_cap 32,160
PARAM_VALUE 3 dev->dev_mutex.dep_map->name 0-255
PARAM_VALUE 3 dev->dev_mutex.first_waiter 0
PARAM_VALUE 3 dev->dev_mutex.magic 4096-ptr_max
PARAM_VALUE 3 dev->dev_mutex.osq.tail.counter 0
PARAM_VALUE 3 dev->dev_mutex.owner.counter 0
PARAM_VALUE 3 dev->intf 4096-ptr_max
PARAM_VALUE 3 dev->intf->authorized 1
PARAM_VALUE 3 dev->intf->condition 1
PARAM_VALUE 3 dev->intf->needs_altsetting0 0
PARAM_VALUE 3 dev->intf->needs_binding 0
PARAM_VALUE 3 dev->mdiobus_mutex.dep_map->name 0-255
PARAM_VALUE 3 dev->mdiobus_mutex.first_waiter 0
PARAM_VALUE 3 dev->mdiobus_mutex.magic 4096-ptr_max
PARAM_VALUE 3 dev->mdiobus_mutex.osq.tail.counter 0
PARAM_VALUE 3 dev->mdiobus_mutex.owner.counter 0
PARAM_VALUE 3 dev->n_rx_urbs 10,30
PARAM_VALUE 3 dev->n_tx_urbs 10
PARAM_VALUE 3 dev->net 4096-ptr_max
PARAM_VALUE 3 dev->net->dev.parent 4096-ptr_max
PARAM_VALUE 3 dev->rx_urb_size 10240,16384,32768
PARAM_VALUE 3 dev->rxq.next 4096-ptr_max
PARAM_VALUE 3 dev->rxq.prev 4096-ptr_max
PARAM_VALUE 3 dev->rxq.qlen 0
PARAM_VALUE 3 dev->rxq_done.next 4096-ptr_max
PARAM_VALUE 3 dev->rxq_done.prev 4096-ptr_max
PARAM_VALUE 3 dev->rxq_done.qlen 0
PARAM_VALUE 3 dev->rxq_overflow.next 4096-ptr_max
PARAM_VALUE 3 dev->rxq_overflow.prev 4096-ptr_max
PARAM_VALUE 3 dev->rxq_overflow.qlen 0
PARAM_VALUE 3 dev->tx_urb_size 10240,16384,32768
PARAM_VALUE 3 dev->txq.next 4096-ptr_max
PARAM_VALUE 3 dev->txq.prev 4096-ptr_max
PARAM_VALUE 3 dev->txq.qlen 0
PARAM_VALUE 3 dev->txq_free.next 4096-ptr_max
PARAM_VALUE 3 dev->txq_free.prev 4096-ptr_max
PARAM_VALUE 3 dev->txq_free.prev->next->next 4096-ptr_max
PARAM_VALUE 3 dev->txq_pend.next 4096-ptr_max
PARAM_VALUE 3 dev->txq_pend.prev 4096-ptr_max
PARAM_VALUE 3 dev->txq_pend.qlen 0
PARAM_VALUE 3 dev->udev 4096-ptr_max
PARAM_VALUE 3 dev->udev->speed 2-3,5
PARAM_VALUE 3 *dev->net->name 0
DATA_SOURCE 3 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/lan78xx.c lan78xx_alloc_tx_resources() -> lan78xx_alloc_buf_pool()

Type Parameter Key Value
PARAM_VALUE 0 buf_pool 4096-ptr_max
PARAM_VALUE 1 n_urbs 10
PARAM_VALUE 2 urb_size 10240,16384,32768
PARAM_VALUE 3 dev 4096-ptr_max
PARAM_VALUE 3 dev->bulk_in_delay 8192
PARAM_VALUE 3 dev->burst_cap 32,160
PARAM_VALUE 3 dev->dev_mutex.dep_map->name 0-255
PARAM_VALUE 3 dev->dev_mutex.first_waiter 0
PARAM_VALUE 3 dev->dev_mutex.magic 4096-ptr_max
PARAM_VALUE 3 dev->dev_mutex.osq.tail.counter 0
PARAM_VALUE 3 dev->dev_mutex.owner.counter 0
PARAM_VALUE 3 dev->intf 4096-ptr_max
PARAM_VALUE 3 dev->intf->authorized 1
PARAM_VALUE 3 dev->intf->condition 1
PARAM_VALUE 3 dev->intf->needs_altsetting0 0
PARAM_VALUE 3 dev->intf->needs_binding 0
PARAM_VALUE 3 dev->mdiobus_mutex.dep_map->name 0-255
PARAM_VALUE 3 dev->mdiobus_mutex.first_waiter 0
PARAM_VALUE 3 dev->mdiobus_mutex.magic 4096-ptr_max
PARAM_VALUE 3 dev->mdiobus_mutex.osq.tail.counter 0
PARAM_VALUE 3 dev->mdiobus_mutex.owner.counter 0
PARAM_VALUE 3 dev->n_rx_urbs 10,30
PARAM_VALUE 3 dev->n_tx_urbs 10
PARAM_VALUE 3 dev->net 4096-ptr_max
PARAM_VALUE 3 dev->net->dev.parent 4096-ptr_max
PARAM_VALUE 3 dev->rx_urb_size 10240,16384,32768
PARAM_VALUE 3 dev->rxq.next 4096-ptr_max
PARAM_VALUE 3 dev->rxq.prev 4096-ptr_max
PARAM_VALUE 3 dev->rxq.qlen 0
PARAM_VALUE 3 dev->rxq_done.next 4096-ptr_max
PARAM_VALUE 3 dev->rxq_done.prev 4096-ptr_max
PARAM_VALUE 3 dev->rxq_done.qlen 0
PARAM_VALUE 3 dev->rxq_overflow.next 4096-ptr_max
PARAM_VALUE 3 dev->rxq_overflow.prev 4096-ptr_max
PARAM_VALUE 3 dev->rxq_overflow.qlen 0
PARAM_VALUE 3 dev->tx_urb_size 10240,16384,32768
PARAM_VALUE 3 dev->txq.next 4096-ptr_max
PARAM_VALUE 3 dev->txq.prev 4096-ptr_max
PARAM_VALUE 3 dev->txq.qlen 0
PARAM_VALUE 3 dev->txq_pend.next 4096-ptr_max
PARAM_VALUE 3 dev->txq_pend.prev 4096-ptr_max
PARAM_VALUE 3 dev->txq_pend.qlen 0
PARAM_VALUE 3 dev->udev 4096-ptr_max
PARAM_VALUE 3 dev->udev->speed 2-3,5
PARAM_VALUE 3 *dev->net->name 0
DATA_SOURCE 3 dev $0
RX_PATH
TASK_NOT_RUNNING