Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/oxu210hp-hcd.c ehci_work() -> timer_action_done()

Type Parameter Key Value
PARAM_VALUE 0 oxu 4096-ptr_max
PARAM_VALUE 1 action 0
DATA_SOURCE 0 oxu $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 oxu->actions 0-u64max
HOST_DATA 0 oxu->bus_suspended 0-u64max
HOST_DATA 0 oxu->command 0-u32max
HOST_DATA 0 oxu->companion_ports 0-u64max
HOST_DATA 0 oxu->hcs_params 0-u32max
HOST_DATA 0 oxu->i_thresh 0-u32max
HOST_DATA 0 oxu->is_otg 0-1
HOST_DATA 0 oxu->next_statechange 0-u64max
HOST_DATA 0 oxu->next_uframe s32min-s32max
HOST_DATA 0 oxu->periodic_dma 0-u64max
HOST_DATA 0 oxu->periodic_sched 0-u32max
HOST_DATA 0 oxu->periodic_size 0-u32max
HOST_DATA 0 oxu->reclaim_ready 0-1
HOST_DATA 0 oxu->sbrn 0-255
HOST_DATA 0 oxu->scanning 0-1
HOST_DATA 0 oxu->stamp 0-u32max
HOST_DATA 0 oxu->urb_len 0-u32max
HOST_DATA 0 oxu->urb_timer.expires 0-u64max
HOST_DATA 0 oxu->urb_timer.flags 0-u32max
HOST_DATA 0 oxu->watchdog.expires 0-u64max
HOST_DATA 0 oxu->watchdog.flags 0-u32max
LOCK2 0 &oxu->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct oxu_hcd)->lock

drivers/usb/host/oxu210hp-hcd.c end_unlink_async() -> timer_action_done()

Type Parameter Key Value
PARAM_VALUE 0 oxu 4096-ptr_max
PARAM_VALUE 1 action 1
DATA_SOURCE 0 oxu $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 oxu->actions 0-u64max
HOST_DATA 0 oxu->bus_suspended 0-u64max
HOST_DATA 0 oxu->command 0-u32max
HOST_DATA 0 oxu->companion_ports 0-u64max
HOST_DATA 0 oxu->hcs_params 0-u32max
HOST_DATA 0 oxu->i_thresh 0-u32max
HOST_DATA 0 oxu->is_otg 0-1
HOST_DATA 0 oxu->next_statechange 0-u64max
HOST_DATA 0 oxu->next_uframe s32min-s32max
HOST_DATA 0 oxu->periodic_dma 0-u64max
HOST_DATA 0 oxu->periodic_sched 0-u32max
HOST_DATA 0 oxu->periodic_size 0-u32max
HOST_DATA 0 oxu->reclaim_ready 0-1
HOST_DATA 0 oxu->sbrn 0-255
HOST_DATA 0 oxu->scanning 0-1
HOST_DATA 0 oxu->stamp 0-u32max
HOST_DATA 0 oxu->urb_len 0-u32max
HOST_DATA 0 oxu->urb_timer.expires 0-u64max
HOST_DATA 0 oxu->urb_timer.flags 0-u32max
HOST_DATA 0 oxu->watchdog.expires 0-u64max
HOST_DATA 0 oxu->watchdog.flags 0-u32max
HALF_LOCKED2 flags
HALF_LOCKED2 0 &oxu->lock

drivers/usb/host/oxu210hp-hcd.c qh_link_async() -> timer_action_done()

Type Parameter Key Value
PARAM_VALUE 0 oxu 4096-ptr_max
PARAM_VALUE 1 action 3
DATA_SOURCE 0 oxu $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 oxu->actions 0-u64max
HOST_DATA 0 oxu->bus_suspended 0-u64max
HOST_DATA 0 oxu->command 0-u32max
HOST_DATA 0 oxu->companion_ports 0-u64max
HOST_DATA 0 oxu->hcs_params 0-u32max
HOST_DATA 0 oxu->i_thresh 0-u32max
HOST_DATA 0 oxu->is_otg 0-1
HOST_DATA 0 oxu->next_statechange 0-u64max
HOST_DATA 0 oxu->next_uframe s32min-s32max
HOST_DATA 0 oxu->periodic_dma 0-u64max
HOST_DATA 0 oxu->periodic_sched 0-u32max
HOST_DATA 0 oxu->periodic_size 0-u32max
HOST_DATA 0 oxu->sbrn 0-255
HOST_DATA 0 oxu->scanning 0-1
HOST_DATA 0 oxu->stamp 0-u32max
HOST_DATA 0 oxu->urb_len 0-u32max
HOST_DATA 0 oxu->urb_timer.expires 0-u64max
HOST_DATA 0 oxu->urb_timer.flags 0-u32max
HOST_DATA 0 oxu->watchdog.expires 0-u64max
HOST_DATA 0 oxu->watchdog.flags 0-u32max
HALF_LOCKED2 flags
HALF_LOCKED2 0 &oxu->lock

drivers/usb/host/oxu210hp-hcd.c scan_async() -> timer_action_done()

Type Parameter Key Value
PARAM_VALUE 0 oxu 4096-ptr_max
PARAM_VALUE 1 action 2
DATA_SOURCE 0 oxu $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 oxu->actions 0-u64max
HOST_DATA 0 oxu->bus_suspended 0-u64max
HOST_DATA 0 oxu->command 0-u32max
HOST_DATA 0 oxu->companion_ports 0-u64max
HOST_DATA 0 oxu->hcs_params 0-u32max
HOST_DATA 0 oxu->i_thresh 0-u32max
HOST_DATA 0 oxu->is_otg 0-1
HOST_DATA 0 oxu->next_statechange 0-u64max
HOST_DATA 0 oxu->next_uframe s32min-s32max
HOST_DATA 0 oxu->periodic_dma 0-u64max
HOST_DATA 0 oxu->periodic_sched 0-u32max
HOST_DATA 0 oxu->periodic_size 0-u32max
HOST_DATA 0 oxu->reclaim_ready 0
HOST_DATA 0 oxu->sbrn 0-255
HOST_DATA 0 oxu->stamp 1-u32max
HOST_DATA 0 oxu->urb_len 0-u32max
HOST_DATA 0 oxu->urb_timer.expires 0-u64max
HOST_DATA 0 oxu->urb_timer.flags 0-u32max
HOST_DATA 0 oxu->watchdog.expires 0-u64max
HOST_DATA 0 oxu->watchdog.flags 0-u32max
LOCK2 0 &oxu->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct oxu_hcd)->lock

drivers/usb/host/oxu210hp-hcd.c start_unlink_async() -> timer_action_done()

Type Parameter Key Value
PARAM_VALUE 0 oxu 4096-ptr_max
PARAM_VALUE 1 action 3
CAPPED_DATA 0 oxu->async 1
DATA_SOURCE 0 oxu $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 oxu->actions 0-u64max
HOST_DATA 0 oxu->bus_suspended 0-u64max
HOST_DATA 0 oxu->command 0-u32max
HOST_DATA 0 oxu->companion_ports 0-u64max
HOST_DATA 0 oxu->hcs_params 0-u32max
HOST_DATA 0 oxu->i_thresh 0-u32max
HOST_DATA 0 oxu->is_otg 0-1
HOST_DATA 0 oxu->next_statechange 0-u64max
HOST_DATA 0 oxu->next_uframe s32min-s32max
HOST_DATA 0 oxu->periodic_dma 0-u64max
HOST_DATA 0 oxu->periodic_sched 0-u32max
HOST_DATA 0 oxu->periodic_size 0-u32max
HOST_DATA 0 oxu->reclaim_ready 0
HOST_DATA 0 oxu->sbrn 0-255
HOST_DATA 0 oxu->scanning 0-1
HOST_DATA 0 oxu->stamp 0-u32max
HOST_DATA 0 oxu->urb_len 0-u32max
HOST_DATA 0 oxu->urb_timer.expires 0-u64max
HOST_DATA 0 oxu->urb_timer.flags 0-u32max
HOST_DATA 0 oxu->watchdog.expires 0-u64max
HOST_DATA 0 oxu->watchdog.flags 0-u32max
HALF_LOCKED2 flags
HALF_LOCKED2 0 &oxu->lock