Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/dwc2/hcd_queue.c dwc2_next_for_periodic_split() -> dwc2_frame_num_dec()

Type Parameter Key Value
PARAM_VALUE 1 dec 1
DATA_SOURCE 0 frame $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &hsotg->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct dwc2_hsotg)->lock

drivers/usb/dwc2/hcd_queue.c dwc2_next_for_periodic_split() -> dwc2_frame_num_dec()

Type Parameter Key Value
PARAM_VALUE 0 frame 0-16383
PARAM_VALUE 1 dec 0-16383
CAPPED_DATA 0 frame 1
CAPPED_DATA 1 dec 1
DATA_SOURCE 0 frame r dwc2_frame_num_dec
DATA_SOURCE 1 dec r dwc2_frame_num_inc
PARAM_COMPARE 0 frame != $1
PARAM_COMPARE 1 dec != $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &hsotg->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct dwc2_hsotg)->lock

drivers/usb/dwc2/hcd_queue.c dwc2_next_periodic_start() -> dwc2_frame_num_dec()

Type Parameter Key Value
PARAM_VALUE 1 dec 1
DATA_SOURCE 0 frame $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &hsotg->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct dwc2_hsotg)->lock

drivers/usb/dwc2/hcd_queue.c dwc2_next_periodic_start() -> dwc2_frame_num_dec()

Type Parameter Key Value
PARAM_VALUE 0 frame 0-16383
PARAM_VALUE 1 dec 0-16383
CAPPED_DATA 0 frame 1
CAPPED_DATA 1 dec 1
DATA_SOURCE 0 frame r dwc2_frame_num_inc
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &hsotg->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct dwc2_hsotg)->lock

drivers/usb/dwc2/hcd_queue.c dwc2_pick_first_frame() -> dwc2_frame_num_dec()

Type Parameter Key Value
PARAM_VALUE 0 frame 0-16383
PARAM_VALUE 1 dec 1
DATA_SOURCE 0 frame r dwc2_frame_num_inc
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &hsotg->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct dwc2_hsotg)->lock

drivers/usb/dwc2/hcd.c dwc2_hc_set_even_odd_frame() -> dwc2_frame_num_dec()

Type Parameter Key Value
PARAM_VALUE 0 frame 0-16383
PARAM_VALUE 1 dec 1
CAPPED_DATA 0 frame 1
DATA_SOURCE 0 frame r dwc2_hcd_get_future_frame_number
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &hsotg->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct dwc2_hsotg)->lock