Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/usbip/vudc_dev.c init_vudc_hw() -> v_init_timer()

Type Parameter Key Value
PARAM_VALUE 0 udc 4096-ptr_max
PARAM_VALUE 0 udc->ep 4096-ptr_max
PARAM_VALUE 0 udc->gadget.dev.parent 4096-ptr_max
PARAM_VALUE 0 udc->gadget.ep_list.next 4096-ptr_max
PARAM_VALUE 0 udc->gadget.ep_list.next->next 4096-ptr_max
PARAM_VALUE 0 udc->gadget.ep_list.prev 4096-ptr_max
PARAM_VALUE 0 udc->gadget.ep_list.prev->next 4096-ptr_max
PARAM_VALUE 0 udc->gadget.ep_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 udc->gadget.max_speed 3
PARAM_VALUE 0 udc->gadget.name 1658792350072414208
PARAM_VALUE 0 udc->gadget.ops 9028359767453270016
PARAM_VALUE 0 udc->pdev 4096-ptr_max
PARAM_VALUE 0 udc->tx_queue.next 4096-ptr_max
PARAM_VALUE 0 udc->tx_queue.next->next 4096-ptr_max
PARAM_VALUE 0 udc->tx_queue.prev 4096-ptr_max
PARAM_VALUE 0 udc->tx_queue.prev->next 4096-ptr_max
PARAM_VALUE 0 udc->tx_queue.prev->prev 4096-ptr_max
PARAM_VALUE 0 udc->tx_waitq.head.next 4096-ptr_max
PARAM_VALUE 0 udc->tx_waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 udc->tx_waitq.head.prev 4096-ptr_max
PARAM_VALUE 0 udc->tx_waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 udc->tx_waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 udc->ud.eh_ops.reset 6999155661066539008
PARAM_VALUE 0 udc->ud.eh_ops.shutdown 7575163188487766016
PARAM_VALUE 0 udc->ud.eh_ops.unusable 4185733203476783104
PARAM_VALUE 0 udc->ud.side 2
PARAM_VALUE 0 udc->ud.status 1
PARAM_VALUE 0 udc->ud.sysfs_lock.dep_map->name 0-255
PARAM_VALUE 0 udc->ud.sysfs_lock.first_waiter 0
PARAM_VALUE 0 udc->ud.sysfs_lock.magic 4096-ptr_max
PARAM_VALUE 0 udc->ud.sysfs_lock.osq.tail.counter 0
PARAM_VALUE 0 udc->ud.sysfs_lock.owner.counter 0
PARAM_VALUE 0 udc->urb_queue.next 4096-ptr_max
PARAM_VALUE 0 udc->urb_queue.next->next 4096-ptr_max
PARAM_VALUE 0 udc->urb_queue.prev 4096-ptr_max
PARAM_VALUE 0 udc->urb_queue.prev->next 4096-ptr_max
PARAM_VALUE 0 udc->urb_queue.prev->prev 4096-ptr_max
BUF_SIZE 0 udc 2728
BUF_SIZE 0 udc->ep 3968
BUF_SIZE 0 udc->gadget.dev.parent 1616
BUF_SIZE 0 udc->gadget.ep0 (-1),72
BUF_SIZE 0 udc->gadget.name 11
BUF_SIZE 0 udc->gadget.ops 136
DATA_SOURCE 0 udc $0
STR_LEN 0 udc->gadget.name 10
TERMINATED 0 udc->gadget.name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL