Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/usbnet.c rx_submit() -> usbnet_going_away()

Type Parameter Key Value
PARAM_VALUE 0 ubn 4096-ptr_max
BUF_SIZE 0 ubn s32min-(-1),1-s32max
BUF_SIZE 0 ubn s32min-(-1),1-s32max
DATA_SOURCE 0 ubn $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ubn->interrupt->num_mapped_sgs
NO_OVERFLOW_SIMPLE 0 ubn->interrupt->transfer_buffer_length
UNITS 0 ubn unit_byte
LOCK2 lockflags
LOCK2 0 &ubn->rxq.lock
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/usb/usbnet.c usbnet_bh() -> usbnet_going_away()

Type Parameter Key Value
PARAM_VALUE 0 ubn 4096-ptr_max
CAPPED_DATA 0 ubn->net->num_tx_queues 1
CAPPED_DATA 0 &ubn->done 1
PARAM_COMPARE 0 &ubn->wait.head == $0->wait.head.next
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/usbnet.c usbnet_defer_kevent() -> usbnet_going_away()

Type Parameter Key Value
PARAM_VALUE 0 ubn 4096-ptr_max
BUF_SIZE 0 ubn s32min-(-1),1-s32max
BUF_SIZE 0 ubn s32min-(-1),1-s32max
BUF_SIZE 0 ubn->driver_name (-1),4-25,28-29,32
BUF_SIZE 0 ubn->driver_priv (-1),20
BUF_SIZE 0 ubn->net->ethtool_ops (-1),656
BUF_SIZE 0 ubn->net->netdev_ops (-1),760
BUF_SIZE 0 ubn->padding_pkt (-1),1
DATA_SOURCE 0 ubn $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ubn->interrupt->num_mapped_sgs
NO_OVERFLOW_SIMPLE 0 ubn->interrupt->transfer_buffer_length
UNITS 0 ubn unit_byte
HALF_LOCKED2 &phydev->lock
HALF_LOCKED2 lockflags
HALF_LOCKED2 0 &ubn->rxq.lock
HALF_LOCKED2 0 &ubn->txq.lock

drivers/net/usb/usbnet.c usbnet_deferred_kevent() -> usbnet_going_away()

Type Parameter Key Value
PARAM_VALUE 0 ubn 4096-ptr_max
CAPPED_DATA 0 &ubn->rxq 1
HALF_LOCKED2 &pool->lock

drivers/net/usb/usbnet.c usbnet_deferred_kevent() -> usbnet_going_away()

Type Parameter Key Value
PARAM_VALUE 0 ubn 4096-ptr_max
HALF_LOCKED2 &pool->lock