Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/cdns3/cdnsp-gadget.c cdnsp_consume_all_events() -> cdnsp_update_erst_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->event_ring 4096-ptr_max
PARAM_VALUE 0 pdev->ir_set 4096-ptr_max
PARAM_VALUE 2 clear_ehb 1
BUF_SIZE 0 pdev (-1),2504,11976
BUF_SIZE 0 pdev (-1),2504,11976
DATA_SOURCE 0 pdev $0
MEM_ZERO 0 pdev->in_ctx.bytes
MEM_ZERO 0 pdev->out_ctx.bytes
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &pdev->lock
HALF_LOCKED2 &cdns->lock
HALF_LOCKED2 &udc->connect_lock
TYPE_LOCK (struct cdnsp_device)->lock

drivers/usb/cdns3/cdnsp-ring.c cdnsp_thread_irq_handler() -> cdnsp_update_erst_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->event_ring 4096-ptr_max
PARAM_VALUE 2 clear_ehb 0
DATA_SOURCE 0 pdev $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 flags
LOCK2 0 &pdev->lock
TYPE_LOCK (struct cdnsp_device)->lock

drivers/usb/cdns3/cdnsp-ring.c cdnsp_thread_irq_handler() -> cdnsp_update_erst_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->event_ring 4096-ptr_max
PARAM_VALUE 0 pdev->event_ring->dequeue 4096-ptr_max
PARAM_VALUE 2 clear_ehb 1
DATA_SOURCE 0 pdev $1
PARAM_COMPARE 0 pdev->event_ring->cycle_state != $0->event_ring->dequeue->event_cmd.flags
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 flags
LOCK2 0 &pdev->lock
TYPE_LOCK (struct cdnsp_device)->lock