Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/usb/host/ehci-hcd.c ehci_handle_controller_death() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->died_poll_count s32min-5
PARAM_VALUE 0 ehci->regs 4096-ptr_max
PARAM_VALUE 1 event 2
PARAM_VALUE 2 resched 1
DATA_SOURCE 0 ehci $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ehci->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c ehci_handle_intr_unlinks() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->intr_unlinking 1
PARAM_VALUE 0 *ehci->bandwidth 0-255
PARAM_VALUE 0 *ehci->tt_budget 0-255
PARAM_VALUE 1 event 3
PARAM_VALUE 2 resched 1
CAPPED_DATA 0 &ehci->intr_unlink 1
DATA_SOURCE 0 ehci $0
PARAM_COMPARE 0 &ehci->intr_unlink != $0->intr_unlink.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ehci->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c ehci_handle_start_intr_unlinks() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 1 event 6
PARAM_VALUE 2 resched 1
CAPPED_DATA 0 &ehci->intr_unlink_wait 1
DATA_SOURCE 0 ehci $0
PARAM_COMPARE 0 &ehci->intr_unlink_wait != $0->intr_unlink_wait.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ehci->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c ehci_hrtimer_func() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->hr_timeouts 4096-ptr_max
PARAM_VALUE 0 ehci->next_hrtimer_event 0-11,99
PARAM_VALUE 1 event 0-11
PARAM_VALUE 2 resched 0
CAPPED_DATA 1 event 1
DATA_SOURCE 1 event r find_next_bit
FUZZY_MAX 0 ehci->next_hrtimer_event 99
FUZZY_MAX 1 event 11
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &ehci->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c ehci_poll_ASS() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->ASS_poll_count s32min-2
PARAM_VALUE 0 ehci->regs 4096-ptr_max
PARAM_VALUE 0 ehci->rh_state 2
PARAM_VALUE 1 event 0
PARAM_VALUE 2 resched 1
DATA_SOURCE 0 ehci $0
BIT_INFO 0 ehci->command 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ehci->qtd_pool->allocation
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ehci->lock

drivers/usb/host/ehci-hcd.c ehci_poll_ASS() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->ASS_poll_count 0
PARAM_VALUE 0 ehci->async_count 0
PARAM_VALUE 0 ehci->regs 4096-ptr_max
PARAM_VALUE 0 ehci->rh_state 2
PARAM_VALUE 1 event 10
PARAM_VALUE 2 resched 1
DATA_SOURCE 0 ehci $0
BIT_INFO 0 ehci->command 0x20,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ehci->qtd_pool->allocation
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ehci->lock

drivers/usb/host/ehci-hcd.c ehci_poll_PSS() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->PSS_poll_count s32min-2
PARAM_VALUE 0 ehci->regs 4096-ptr_max
PARAM_VALUE 0 ehci->rh_state 2
PARAM_VALUE 0 *ehci->bandwidth 0-255
PARAM_VALUE 0 *ehci->tt_budget 0-255
PARAM_VALUE 1 event 1
PARAM_VALUE 2 resched 1
DATA_SOURCE 0 ehci $0
BIT_INFO 0 ehci->command 0x0,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ehci->hrtimer._softexpires 1-72057589734572032[c]
HOST_DATA 0 ehci->last_iso_frame 0-536870911
HOST_DATA 0 ehci->now_frame 0-536870911[c]
NO_OVERFLOW_SIMPLE 0 ehci->qtd_pool->allocation
LOCK2 0 &ehci->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c ehci_poll_PSS() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->PSS_poll_count 0
PARAM_VALUE 0 ehci->periodic_count 0
PARAM_VALUE 0 ehci->regs 4096-ptr_max
PARAM_VALUE 0 ehci->rh_state 2
PARAM_VALUE 0 *ehci->bandwidth 0-255
PARAM_VALUE 0 *ehci->tt_budget 0-255
PARAM_VALUE 1 event 9
PARAM_VALUE 2 resched 1
DATA_SOURCE 0 ehci $0
BIT_INFO 0 ehci->command 0x10,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ehci->hrtimer._softexpires 1-72057589734572032[c]
HOST_DATA 0 ehci->last_iso_frame 0-536870911
HOST_DATA 0 ehci->now_frame 0-536870911[c]
NO_OVERFLOW_SIMPLE 0 ehci->qtd_pool->allocation
LOCK2 0 &ehci->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c end_unlink_async() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->rh_state 2-u32max
PARAM_VALUE 1 event 5
PARAM_VALUE 2 resched 1
CAPPED_DATA 0 &ehci->async_unlink 1
DATA_SOURCE 0 ehci $0
PARAM_COMPARE 0 &ehci->async_unlink != $0->async_unlink.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ehci->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c scan_async() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->async 4096-ptr_max
PARAM_VALUE 0 ehci->async_count 1-u32max
PARAM_VALUE 0 ehci->need_rescan 0
PARAM_VALUE 0 ehci->qh_scan_next 0
PARAM_VALUE 0 ehci->rh_state 2
PARAM_VALUE 0 ehci->scanning 1
PARAM_VALUE 1 event 7
PARAM_VALUE 2 resched 1
DATA_SOURCE 0 ehci $0
BIT_INFO 0 ehci->enabled_hrtimer_events 0x0,0xffffff7f
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ehci->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c start_free_itds() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->last_itd_to_free 4096-ptr_max
PARAM_VALUE 0 ehci->last_sitd_to_free 4096-ptr_max
PARAM_VALUE 1 event 4
PARAM_VALUE 2 resched 1
DATA_SOURCE 0 ehci $0
BIT_INFO 0 ehci->enabled_hrtimer_events 0x0,0xffffffef
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ehci->now_frame 0-536870911[c]
LOCK2 0 &ehci->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c start_iaa_cycle() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->iaa_in_progress 1
PARAM_VALUE 0 ehci->regs 4096-ptr_max
PARAM_VALUE 0 ehci->rh_state 2
PARAM_VALUE 1 event 8
PARAM_VALUE 2 resched 1
DATA_SOURCE 0 ehci $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ehci->lock

drivers/usb/host/ehci-hcd.c start_unlink_intr() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->intr_unlink.next 4096-ptr_max
PARAM_VALUE 0 ehci->intr_unlink.prev 4096-ptr_max
PARAM_VALUE 0 ehci->intr_unlink.prev->next 4096-ptr_max
PARAM_VALUE 0 ehci->intr_unlink.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ehci->intr_unlinking 0
PARAM_VALUE 0 ehci->rh_state 2-u32max
PARAM_VALUE 1 event 3
PARAM_VALUE 2 resched 1
CAPPED_DATA 0 ehci->intr_unlink.next 1
CAPPED_DATA 0 ehci->periodic_size 1
DATA_SOURCE 0 ehci $0
FUZZY_MAX 0 ehci->rh_state 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ehci->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c start_unlink_intr_wait() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->intr_unlink_wait.next 4096-ptr_max
PARAM_VALUE 0 ehci->intr_unlink_wait.prev 4096-ptr_max
PARAM_VALUE 0 ehci->intr_unlink_wait.prev->next 4096-ptr_max
PARAM_VALUE 0 ehci->intr_unlink_wait.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ehci->need_rescan 0
PARAM_VALUE 0 ehci->qh_scan_next 4096-ptr_max
PARAM_VALUE 0 ehci->rh_state 2-u32max
PARAM_VALUE 0 ehci->scanning 1
PARAM_VALUE 1 event 6
PARAM_VALUE 2 resched 1
CAPPED_DATA 0 ehci->intr_unlink_wait.next 1
DATA_SOURCE 0 ehci $0
FUZZY_MAX 0 ehci->rh_state 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ehci->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c turn_on_io_watchdog() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->need_io_watchdog 1
PARAM_VALUE 0 ehci->rh_state 2
PARAM_VALUE 1 event 11
PARAM_VALUE 2 resched 1
DATA_SOURCE 0 ehci $0
BIT_INFO 0 ehci->enabled_hrtimer_events 0x0,0xfffff7ff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ehci->last_iso_frame 0-536870911
NO_OVERFLOW_SIMPLE 0 ehci->qtd_pool->allocation
LOCK2 0 &ehci->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/ehci-hcd.c unlink_empty_async() -> ehci_enable_event()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 0 ehci->async 4096-ptr_max
PARAM_VALUE 0 ehci->hr_timeouts 4096-ptr_max
PARAM_VALUE 1 event 7
PARAM_VALUE 2 resched 1
CAPPED_DATA 0 &ehci->async_unlink 1
DATA_SOURCE 0 ehci $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &ehci->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct ehci_hcd)->lock