Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/usb/host/ehci-hcd.c end_unlink_intr() -> disable_periodic()

Type Parameter Key Value
PARAM_VALUE 0 fotg210 4096-ptr_max
PARAM_VALUE 0 fotg210->intr_unlinking 1
PARAM_VALUE 0 *fotg210->bandwidth 0-255
PARAM_VALUE 0 *fotg210->tt_budget 0-255
DATA_SOURCE 0 fotg210 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &fotg210->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c itd_complete() -> disable_periodic()

Type Parameter Key Value
PARAM_VALUE 0 fotg210 4096-ptr_max
PARAM_VALUE 0 fotg210->need_rescan 0
PARAM_VALUE 0 fotg210->periodic 4096-ptr_max
PARAM_VALUE 0 fotg210->pshadow 4096-ptr_max
PARAM_VALUE 0 fotg210->scanning 1
CAPPED_DATA 0 fotg210->now_frame 1
DATA_SOURCE 0 fotg210 $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 fotg210->now_frame 0-536870911[c]
LOCK2 0 &fotg210->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c sitd_complete() -> disable_periodic()

Type Parameter Key Value
PARAM_VALUE 0 fotg210 4096-ptr_max
PARAM_VALUE 0 fotg210->need_rescan 0
PARAM_VALUE 0 fotg210->periodic 4096-ptr_max
PARAM_VALUE 0 fotg210->pshadow 4096-ptr_max
PARAM_VALUE 0 fotg210->scanning 1
CAPPED_DATA 0 fotg210->now_frame 1
DATA_SOURCE 0 fotg210 $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 fotg210->now_frame 0-536870911[c]
LOCK2 0 &fotg210->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/fotg210/fotg210-hcd.c end_unlink_intr() -> disable_periodic()

Type Parameter Key Value
PARAM_VALUE 0 fotg210 4096-ptr_max
PARAM_VALUE 0 fotg210->intr_unlinking 1
BUF_SIZE 0 fotg210->intr_unlink_last (-1),1-s32max
DATA_SOURCE 0 fotg210 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &fotg210->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct fotg210_hcd)->lock

drivers/usb/fotg210/fotg210-hcd.c itd_complete() -> disable_periodic()

Type Parameter Key Value
PARAM_VALUE 0 fotg210 4096-ptr_max
PARAM_VALUE 0 fotg210->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fotg210->need_rescan 0
PARAM_VALUE 0 fotg210->periodic 4096-ptr_max
PARAM_VALUE 0 fotg210->pshadow 4096-ptr_max
PARAM_VALUE 0 fotg210->scanning 1
CAPPED_DATA 0 fotg210->now_frame 1
DATA_SOURCE 0 fotg210 $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 fotg210->hrtimer._softexpires 1-72057589734572032[c]
HOST_DATA 0 fotg210->now_frame 0-536870911[c]
LOCK2 0 &fotg210->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct fotg210_hcd)->lock

drivers/usb/host/oxu210hp-hcd.c qh_unlink_periodic() -> disable_periodic()

Type Parameter Key Value
PARAM_VALUE 0 fotg210 4096-ptr_max
PARAM_VALUE 0 fotg210->async->qh_next.qh->dummy->qtd_buffer_len 0,512-2048
PARAM_VALUE 0 fotg210->periodic_sched 0
PARAM_VALUE 0 fotg210->reclaim->dummy->qtd_buffer_len 0,512-2048
PARAM_VALUE 0 *fotg210->reclaim->oxu->db_used 0-255
PARAM_VALUE 0 *fotg210->reclaim->oxu->qh_used 0-255
PARAM_VALUE 0 *fotg210->reclaim->oxu->qtd_used 0-255
CAPPED_DATA 0 fotg210->periodic_size 1
DATA_SOURCE 0 fotg210 $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 fotg210->actions 0-u64max
HOST_DATA 0 fotg210->bus_suspended 0-u64max
HOST_DATA 0 fotg210->command 0-u32max
HOST_DATA 0 fotg210->companion_ports 0-u64max
HOST_DATA 0 fotg210->hcs_params 0-u32max
HOST_DATA 0 fotg210->i_thresh 0-u32max
HOST_DATA 0 fotg210->is_otg 0-1
HOST_DATA 0 fotg210->next_statechange 0-u64max
HOST_DATA 0 fotg210->next_uframe s32min-s32max
HOST_DATA 0 fotg210->periodic_dma 0-u64max
HOST_DATA 0 fotg210->periodic_sched 0
HOST_DATA 0 fotg210->periodic_size 0-s32max[c]
HOST_DATA 0 fotg210->reclaim_ready 0
HOST_DATA 0 fotg210->sbrn 0-255
HOST_DATA 0 fotg210->scanning 0-1
HOST_DATA 0 fotg210->stamp 0-u32max
HOST_DATA 0 fotg210->urb_len 0-u32max
HOST_DATA 0 fotg210->urb_timer.expires 0-u64max
HOST_DATA 0 fotg210->urb_timer.flags 0-u32max
HOST_DATA 0 fotg210->watchdog.expires 0-u64max
HOST_DATA 0 fotg210->watchdog.flags 0-u32max
HALF_LOCKED2 flags
HALF_LOCKED2 0 &fotg210->lock