Open Menu /

Defined in 1 files as a member:

Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/net/usb/usbnet.c __handle_link_change() -> unlink_urbs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->link_reset 0,4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 1 q 4096-ptr_max
DATA_SOURCE 0 dev $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 q 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 1 q 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/usb/usbnet.c usbnet_terminate_urbs() -> unlink_urbs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->stop 0,222419360661372928,4259716044864118784,5435611627426725888,6723014208665305088,6896059178680975360
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte

drivers/net/usb/usbnet.c usbnet_terminate_urbs() -> unlink_urbs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->stop 0,222419360661372928,4259716044864118784,5435611627426725888,6723014208665305088,6896059178680975360
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->txq.lock.rlock.dep_map->name 0-255
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.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
CAPPED_DATA 0 &dev->txq 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte

drivers/net/usb/usbnet.c usbnet_tx_timeout() -> unlink_urbs()

Type Parameter Key Value
PARAM_VALUE 1 q 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->tx_global_lock

drivers/net/usb/usbnet.c usbnet_unlink_rx_urbs() -> unlink_urbs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->bind 0,4096-ptr_max
PARAM_VALUE 0 dev->driver_info->check_connect 0,4360945745349664768,4410088904158785536,5653805294529658880,6205464036663947264
PARAM_VALUE 0 dev->driver_info->data 0-2,4,1245443,2039071,10460575,537268737
PARAM_VALUE 0 dev->driver_info->early_init 0
PARAM_VALUE 0 dev->driver_info->flags 32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072
PARAM_VALUE 0 dev->driver_info->in 0-2,4
PARAM_VALUE 0 dev->driver_info->indication 0
PARAM_VALUE 0 dev->driver_info->link_reset 0,4096-ptr_max
PARAM_VALUE 0 dev->driver_info->manage_power 0,1506678758508355584,2826099265391374336,5417900502053539840,6162498990675783680,7442110100846649344,8583981312855863296
PARAM_VALUE 0 dev->driver_info->out 0,2-3
PARAM_VALUE 0 dev->driver_info->recover 0,3716476772017917952
PARAM_VALUE 0 dev->driver_info->reset 0,4096-ptr_max
PARAM_VALUE 0 dev->driver_info->rx_fixup 0,4096-ptr_max
PARAM_VALUE 0 dev->driver_info->set_rx_mode 0,1133741414766354432,2427045778604806144
PARAM_VALUE 0 dev->driver_info->status 0,4096-ptr_max
PARAM_VALUE 0 dev->driver_info->stop 0,222419360661372928,4259716044864118784,5435611627426725888,6723014208665305088,6896059178680975360
PARAM_VALUE 0 dev->driver_info->tx_fixup 0,4096-ptr_max
PARAM_VALUE 0 dev->driver_info->unbind 0,4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 dev->driver_name (-1),4-25,28-29,32
DATA_SOURCE 0 dev $0
BIT_INFO 0 dev->rx_urb_size 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->hard_mtu 0-2147549182[c]
USER_DATA 0 dev->rx_urb_size 1-2147549182[c]

drivers/net/usb/lan78xx.c lan78xx_delayedwork() -> unlink_urbs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->intf 4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.class 0,4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.power.request 0-4
PARAM_VALUE 0 dev->intf->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->intf->dev.type 0,4096-ptr_max
PARAM_VALUE 1 q 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/usb/lan78xx.c lan78xx_delayedwork() -> unlink_urbs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->intf 4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.class 0,4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.power.request 0-4
PARAM_VALUE 0 dev->intf->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->intf->dev.type 0,4096-ptr_max
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 1 q 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

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->wait 5680405036266188800
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->wait 88
DATA_SOURCE 0 dev $0
BIT_INFO 0 dev->msg_enable 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
LOCK2 0 &dev->dev_mutex
TYPE_LOCK (struct lan78xx_net)->dev_mutex

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

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->txq.lock.rlock.dep_map->name 0-255
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 5680405036266188800
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->wait 88
CAPPED_DATA 0 &dev->txq 1
DATA_SOURCE 0 dev $0
BIT_INFO 0 dev->msg_enable 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
LOCK2 0 &dev->dev_mutex
TYPE_LOCK (struct lan78xx_net)->dev_mutex

drivers/net/usb/lan78xx.c lan78xx_tx_timeout() -> unlink_urbs()

Type Parameter Key Value
PARAM_VALUE 1 q 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->tx_global_lock