Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/lan78xx.c lan78xx_resume() -> lan78xx_tx_pend_data_len()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 0 dev->urb_intr 1
CAPPED_DATA 0 &dev->dev_mutex 1
BIT_INFO 0 dev->msg_enable 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->urb_intr->num_mapped_sgs
UNITS 0 dev unit_byte
LOCK2 0 &dev->dev_mutex
TYPE_LOCK (struct lan78xx_net)->dev_mutex

drivers/net/usb/lan78xx.c lan78xx_tx_bh() -> lan78xx_tx_pend_data_len()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev->net->num_tx_queues 1
DATA_SOURCE 0 dev $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &dev->net->tx_global_lock
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct net_device)->tx_global_lock