Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/lan78xx.c lan78xx_rx_urb_submit_all() -> lan78xx_get_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 *dev->net->name 0-255
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pl->phydev_mutex
HALF_LOCKED2 &pl->state_mutex

drivers/net/usb/lan78xx.c lan78xx_rx_urb_submit_all() -> lan78xx_get_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->napi.thread->delays->blkio_count 0-4294967295
PARAM_VALUE 0 dev->napi.thread->delays->blkio_delay_max 0-s64max
PARAM_VALUE 0 dev->napi.thread->delays->blkio_delay_min 0-s64max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 dev->rx_urb_size 0-u32max
PARAM_VALUE 0 dev->rxq.next 4096-ptr_max
PARAM_VALUE 0 dev->rxq.prev 4096-ptr_max
PARAM_VALUE 0 dev->wq.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 *dev->net->name 0-255
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 &dev->rxq_free != $0->rxq_free.next
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pl->phydev_mutex
HALF_LOCKED2 &pl->state_mutex