Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
DATA_SOURCE 0 hcd $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->dev.mutex

drivers/usb/gadget/udc/dummy_hcd.c dummy_bus_resume() -> hcd_to_dummy_hcd()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
DATA_SOURCE 0 hcd $0
BIT_INFO 0 hcd->flags 0x0,0xffffffffffffff9f
RX_PATH
TASK_NOT_RUNNING

drivers/usb/gadget/udc/dummy_hcd.c dummy_bus_suspend() -> hcd_to_dummy_hcd()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
DATA_SOURCE 0 hcd $0
RX_PATH
TASK_NOT_RUNNING

drivers/usb/gadget/udc/dummy_hcd.c dummy_free_streams() -> hcd_to_dummy_hcd()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
DATA_SOURCE 0 hcd $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->dev.mutex

drivers/usb/gadget/udc/dummy_hcd.c dummy_hcd_remove() -> hcd_to_dummy_hcd()

Type Parameter Key Value
BUF_SIZE 0 hcd s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex

drivers/usb/gadget/udc/dummy_hcd.c dummy_hcd_suspend() -> hcd_to_dummy_hcd()

Type Parameter Key Value
BUF_SIZE 0 hcd s32min-(-2),1-s32max
BUF_SIZE 0 hcd s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hcd unit_byte
HALF_LOCKED2 &dev->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
DATA_SOURCE 0 hcd $0
BIT_INFO 0 hcd->flags 0x1,0xffffffffffffffff

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

Type Parameter Key Value
BUF_SIZE 0 hcd s32min-(-1),1-s32max
BUF_SIZE 0 hcd s32min-(-1),1-s32max
DATA_SOURCE 0 hcd $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &hcd->hcd_priv->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_setup() -> hcd_to_dummy_hcd()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
CAPPED_DATA 0 hcd 1
CAPPED_DATA 0 hcd->primary_hcd 1
DATA_SOURCE 0 hcd $0
PARAM_COMPARE 0 hcd >= $0->primary_hcd
PARAM_COMPARE 0 hcd >= $0->primary_hcd

drivers/usb/gadget/udc/dummy_hcd.c dummy_setup() -> hcd_to_dummy_hcd()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
DATA_SOURCE 0 hcd $0
PARAM_COMPARE 0 hcd != $0->primary_hcd
PARAM_COMPARE 0 hcd != $0->primary_hcd

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

Type Parameter Key Value
DATA_SOURCE 0 hcd $0

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

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
BUF_SIZE 0 hcd s32min-(-1),1-s32max
BUF_SIZE 0 hcd s32min-(-1),1-s32max
DATA_SOURCE 0 hcd $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &companions_rwsem
HALF_LOCKED2 global &xenwatch_mutex

drivers/usb/gadget/udc/dummy_hcd.c dummy_urb_dequeue() -> hcd_to_dummy_hcd()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
DATA_SOURCE 0 hcd $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
CAPPED_DATA 0 hcd 1
DATA_SOURCE 0 hcd $0

drivers/usb/gadget/udc/dummy_hcd.c urbs_show() -> hcd_to_dummy_hcd()

Type Parameter Key Value
BUF_SIZE 0 hcd s32min-(-2),1-s32max
BUF_SIZE 0 hcd s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hcd unit_byte
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex