Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/net/usb/usbnet.c usbnet_open() -> (struct driver_info)->manage_power()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->check_connect 0,4360945745349664768,4410088904158785536,5653805294529658880,6205464036663947264
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->manage_power 1506678758508355584,2826099265391374336,5417900502053539840,6162498990675783680,7442110100846649344,8583981312855863296
PARAM_VALUE 0 dev->driver_info->reset 0,4096-ptr_max
PARAM_VALUE 0 dev->interrupt->ep 4096-ptr_max
PARAM_VALUE 0 dev->interrupt->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->interrupt->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->interrupt->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->interrupt->hcpriv 0,4096-ptr_max
PARAM_VALUE 0 dev->interrupt->interval s32min-32768
PARAM_VALUE 0 dev->interrupt->num_mapped_sgs 0-s32max
PARAM_VALUE 0 dev->interrupt->status (-4095)-0
PARAM_VALUE 0 dev->interrupt->urb_list.prev->next 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.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->intf->dev.type 0,4096-ptr_max
PARAM_VALUE 0 dev->pkt_cnt 0
PARAM_VALUE 0 dev->pkt_err 0
PARAM_VALUE 0 dev->rx_qlen 0-u16max
PARAM_VALUE 0 dev->tx_qlen 0-u16max
PARAM_VALUE 0 dev->udev 4096-ptr_max
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 1 on 1
CAPPED_DATA 0 dev->interrupt 1
CAPPED_DATA 0 &dev->bh_work 1
BIT_INFO 0 dev->msg_enable 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->interrupt->num_mapped_sgs
HALF_LOCKED2 global &rtnl_mutex

drivers/net/usb/usbnet.c usbnet_stop() -> (struct driver_info)->manage_power()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bh_work.lockdep_map->name 0-255
PARAM_VALUE 0 dev->delay.entry.pprev 0
PARAM_VALUE 0 dev->delay.flags 0-4194302
PARAM_VALUE 0 dev->delay.function 0
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags 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->manage_power 1506678758508355584,2826099265391374336,5417900502053539840,6162498990675783680,7442110100846649344,8583981312855863296
PARAM_VALUE 0 dev->driver_info->stop 0,222419360661372928,4259716044864118784,5435611627426725888,6723014208665305088,6896059178680975360
PARAM_VALUE 0 dev->flags 0
PARAM_VALUE 0 dev->interrupt->dev->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 dev->interrupt->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->interrupt_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->interrupt_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->interrupt_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->interrupt_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->interrupt_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->interrupt_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->interrupt_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->interrupt_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 dev->interrupt_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->interrupt_mutex.osq.tail.counter 0-s32max
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.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->intf->dev.type 0,4096-ptr_max
PARAM_VALUE 0 dev->kevent.lockdep_map->name 0-255
PARAM_VALUE 0 dev->rxq_pause.next 4096-ptr_max
PARAM_VALUE 0 dev->rxq_pause.next->prev 2011684551238094848
PARAM_VALUE 0 dev->rxq_pause.prev 4096-ptr_max
PARAM_VALUE 0 dev->rxq_pause.prev->next 2011684551238094848
PARAM_VALUE 0 dev->rxq_pause.qlen 0
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 1 on 0
CAPPED_DATA 0 dev->interrupt 1
CAPPED_DATA 0 &dev->bh_work 1
CAPPED_DATA 0 &dev->delay 1
CAPPED_DATA 0 &dev->kevent 1
BIT_INFO 0 dev->msg_enable 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex