Defined in 5 files as a member:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/usb/gadget/udc/dummy_hcd.c dummy_alloc_streams() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &dum->dum->lock
HALF_LOCKED2 &dev->dev.mutex
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_hub_control() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_hub_control() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_hub_control() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_hub_control() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_hub_control() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_hub_control() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_hub_control() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_hub_control() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_hub_control() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_hub_control() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_hub_control() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_hub_status() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_start() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
MEM_ZERO 0 &dum->timer

drivers/usb/gadget/udc/dummy_hcd.c dummy_stop() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
CAPPED_DATA 0 dum->timer.base 1
CAPPED_DATA 0 &dum->timer 1
PARAM_COMPARE 0 &dum->timer != $0->timer.base->running
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &companions_rwsem
HALF_LOCKED2 global &xenwatch_mutex

drivers/usb/gadget/udc/dummy_hcd.c dummy_stop() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
CAPPED_DATA 0 dum->timer.base 1
CAPPED_DATA 0 &dum->timer 1
PARAM_COMPARE 0 &dum->timer != $0->timer.base->running
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &companions_rwsem
HALF_LOCKED2 global &xenwatch_mutex

drivers/usb/gadget/udc/dummy_hcd.c dummy_timer() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/usb/gadget/udc/dummy_hcd.c dummy_timer() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dum->lock
LOCK2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_timer() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
CAPPED_DATA 0 &dum->urbp_list 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dum->lock
LOCK2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_timer() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
CAPPED_DATA 0 &dum->urbp_list 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dum->lock
LOCK2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_udc_start() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
DATA_SOURCE 0 dum r gadget_to_dummy_hcd
RX_PATH
TASK_NOT_RUNNING
LOCK2 &udc->connect_lock
HALF_LOCKED2 &g->dev.mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct usb_udc)->connect_lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_urb_enqueue() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_validate_stream() -> dummy_dev()

Type Parameter Key Value
PARAM_VALUE 0 dum 4096-ptr_max
DATA_SOURCE 0 dum $0
PREEMPT_ADD
LOCK2 flags
LOCK2 0 &dum->dum->lock
TYPE_LOCK (struct dummy)->lock