Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/lan78xx.c lan78xx_terminate_urbs() -> lan78xx_release_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->dev_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->dev_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->dev_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dev->dev_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 dev->rxq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->rxq.next 4096-ptr_max
PARAM_VALUE 0 dev->rxq.next->cb->state 6
PARAM_VALUE 0 dev->rxq.next->cb->urb->dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->rxq.next->cb->urb->dev->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 dev->rxq.next->cb->urb->dev->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 dev->rxq.next->cb->urb->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->rxq.next->cb->urb->unlinked s32min-s32max
PARAM_VALUE 0 dev->rxq_done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->txq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->txq.next 4096-ptr_max
PARAM_VALUE 0 dev->txq.next->cb->state 6
PARAM_VALUE 0 dev->txq.next->cb->urb->dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->txq.next->cb->urb->dev->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 dev->txq.next->cb->urb->dev->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 dev->txq.next->cb->urb->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->txq.next->cb->urb->unlinked s32min-s32max
PARAM_VALUE 0 dev->wait 0
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 1 rx_buf 0,4096-ptr_max
PARAM_VALUE 1 rx_buf->next 0
PARAM_VALUE 1 rx_buf->prev 0
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
CAPPED_DATA 0 dev->rxq.next 1
CAPPED_DATA 0 dev->txq.next 1
CAPPED_DATA 0 &dev->rxq 1
CAPPED_DATA 0 &dev->rxq_done 1
CAPPED_DATA 0 &dev->txq 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 rx_buf r skb_dequeue
PARAM_COMPARE 0 &dev->rxq == $0->rxq.next
PARAM_COMPARE 0 &dev->rxq_done != $0->rxq_done.next
PARAM_COMPARE 0 &dev->txq == $0->txq.next
BIT_INFO 0 dev->msg_enable 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 0 &dev->dev_mutex
TYPE_LOCK (struct lan78xx_net)->dev_mutex

drivers/net/usb/lan78xx.c rx_submit() -> lan78xx_release_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 dev->rxq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 1 rx_buf->cb 4096-ptr_max
BUF_SIZE 1 rx_buf->data (-1),1-4000000
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 rx_buf $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->tail
NO_OVERFLOW_SIMPLE 1 rx_buf->next->end
NO_OVERFLOW_SIMPLE 1 rx_buf->next->len
NO_OVERFLOW_SIMPLE 1 rx_buf->next->tail