Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/usb/chipidea/udc.c ci_hdrc_gadget_connect() -> usb_udc_vbus_handler()

Type Parameter Key Value
PARAM_VALUE 0 gadget 4096-ptr_max
PARAM_VALUE 0 gadget->ops 4096-ptr_max
PARAM_VALUE 0 gadget->state 2
PARAM_VALUE 0 gadget->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 status 1
DATA_SOURCE 0 gadget $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &udc->connect_lock
HALF_LOCKED2 0 &gadget->dev.mutex

drivers/usb/chipidea/udc.c ci_hdrc_gadget_connect() -> usb_udc_vbus_handler()

Type Parameter Key Value
PARAM_VALUE 0 gadget 4096-ptr_max
PARAM_VALUE 0 gadget->ops 4096-ptr_max
PARAM_VALUE 0 gadget->ops->vbus_session 4096-ptr_max
PARAM_VALUE 1 status 0
DATA_SOURCE 0 gadget $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fsm->lock
HALF_LOCKED2 &tu->serialize

drivers/usb/chipidea/udc.c ci_udc_start() -> usb_udc_vbus_handler()

Type Parameter Key Value
PARAM_VALUE 0 gadget 4096-ptr_max
PARAM_VALUE 1 status 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->connect_lock
HALF_LOCKED2 &gadget->dev.mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct usb_udc)->connect_lock

drivers/usb/gadget/udc/renesas_usbf.c usbf_ahb_epc_irq() -> usb_udc_vbus_handler()

Type Parameter Key Value
PARAM_VALUE 0 gadget 4096-ptr_max
PARAM_VALUE 1 status 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/usb/gadget/udc/renesas_usbf.c usbf_ahb_epc_irq() -> usb_udc_vbus_handler()

Type Parameter Key Value
PARAM_VALUE 0 gadget 4096-ptr_max
PARAM_VALUE 1 status 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/usb/gadget/udc/max3420_udc.c max3420_probe() -> usb_udc_vbus_handler()

Type Parameter Key Value
PARAM_VALUE 0 gadget 4096-ptr_max
PARAM_VALUE 0 gadget->dev.p 0
PARAM_VALUE 0 gadget->dev.power.completion.done u32max
PARAM_VALUE 0 gadget->id_number 0-s32max
PARAM_VALUE 0 gadget->max_speed 2
PARAM_VALUE 0 gadget->name 7640947660309979136
PARAM_VALUE 0 gadget->ops 4599805350236971008
PARAM_VALUE 0 gadget->speed 0
PARAM_VALUE 0 gadget->state 0
PARAM_VALUE 0 gadget->teardown 0
PARAM_VALUE 0 gadget->udc 4096-ptr_max
PARAM_VALUE 1 status 1
MEM_ZERO 0 gadget
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/udc/max3420_udc.c max3420_vbus_handler() -> usb_udc_vbus_handler()

Type Parameter Key Value
PARAM_VALUE 0 gadget 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
LOCK2 flags
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags
TYPE_LOCK (struct max3420_udc)->lock