Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/usbnet.c usbnet_disconnect() -> (struct driver_info)->unbind()

Type Parameter Key Value
PARAM_VALUE 0 usbnet_dev 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->deferred.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 usbnet_dev->deferred.urb_list.next 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->driver_info 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->driver_info->unbind 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->kevent.lockdep_map->name 0-255
PARAM_VALUE 0 usbnet_dev->net 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->net->nd_net.net 4096-ptr_max
PARAM_VALUE 0 *usbnet_dev->net->name 0-255
PARAM_VALUE 1 intf 4096-ptr_max
PARAM_VALUE 1 intf->dev.driver_data 0
BUF_SIZE 0 usbnet_dev s32min-(-2),1-s32max
BUF_SIZE 0 usbnet_dev s32min-(-2),1-s32max
CAPPED_DATA 0 &usbnet_dev->kevent 1
DATA_SOURCE 1 intf $0
CONTAINER 0 -24-16+0 $(-1)
BIT_INFO 0 usbnet_dev->msg_enable 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/usbnet.c usbnet_probe() -> (struct driver_info)->unbind()

Type Parameter Key Value
PARAM_VALUE 0 usbnet_dev 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->deferred.poisoned 0
PARAM_VALUE 0 usbnet_dev->deferred.suspend_wakeups.counter 0
PARAM_VALUE 0 usbnet_dev->deferred.wait.head.next 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->deferred.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->deferred.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->deferred.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->deferred.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->delay.entry.pprev 0
PARAM_VALUE 0 usbnet_dev->delay.flags 0-4194302
PARAM_VALUE 0 usbnet_dev->delay.lockdep_map->name 0-255
PARAM_VALUE 0 usbnet_dev->done.next 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->done.prev 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->done.qlen 0
PARAM_VALUE 0 usbnet_dev->driver_info 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->driver_info->flags 32,61,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 usbnet_dev->driver_info->status 0,4096-ptr_max
PARAM_VALUE 0 usbnet_dev->interrupt_count 0
PARAM_VALUE 0 usbnet_dev->interrupt_mutex.dep_map->name 0-255
PARAM_VALUE 0 usbnet_dev->interrupt_mutex.first_waiter 0
PARAM_VALUE 0 usbnet_dev->interrupt_mutex.magic 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->interrupt_mutex.osq.tail.counter 0
PARAM_VALUE 0 usbnet_dev->interrupt_mutex.owner.counter 0
PARAM_VALUE 0 usbnet_dev->intf 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->intf->authorized 1
PARAM_VALUE 0 usbnet_dev->intf->condition 1
PARAM_VALUE 0 usbnet_dev->intf->dev.driver 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->intf->needs_altsetting0 0
PARAM_VALUE 0 usbnet_dev->intf->needs_binding 0
PARAM_VALUE 0 usbnet_dev->maxpacket 0-2047
PARAM_VALUE 0 usbnet_dev->net->dev.parent 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->phy_mutex.dep_map->name 0-255
PARAM_VALUE 0 usbnet_dev->phy_mutex.first_waiter 0
PARAM_VALUE 0 usbnet_dev->phy_mutex.magic 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->phy_mutex.osq.tail.counter 0
PARAM_VALUE 0 usbnet_dev->phy_mutex.owner.counter 0
PARAM_VALUE 0 usbnet_dev->rx_speed (-1)
PARAM_VALUE 0 usbnet_dev->rxq.next 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->rxq.prev 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->rxq.qlen 0
PARAM_VALUE 0 usbnet_dev->rxq_pause.next 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->rxq_pause.prev 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->rxq_pause.qlen 0
PARAM_VALUE 0 usbnet_dev->tx_speed (-1)
PARAM_VALUE 0 usbnet_dev->txq.next 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->txq.prev 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->txq.qlen 0
PARAM_VALUE 0 usbnet_dev->wait.head.next 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->wait.head.prev 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 usbnet_dev->wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 *usbnet_dev->udev->toggle 0-4294967295
PARAM_VALUE 1 intf 4096-ptr_max
PARAM_VALUE 1 intf->authorized 1
PARAM_VALUE 1 intf->condition 1
PARAM_VALUE 1 intf->dev.driver 4096-ptr_max
PARAM_VALUE 1 intf->needs_altsetting0 0
PARAM_VALUE 1 intf->needs_binding 0
BUF_SIZE 0 usbnet_dev->driver_name 4-25,28-29,32
BUF_SIZE 0 usbnet_dev->padding_pkt 1,u64max
DATA_SOURCE 1 intf $0
MEM_ZERO 0 &usbnet_dev->deferred
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL