Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/ohci.c handle_selfid_complete_event() -> context_stop()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ohci->lock
LOCK2 irq
TYPE_LOCK (struct fw_ohci)->lock

drivers/firewire/ohci.c handle_selfid_complete_event() -> context_stop()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ohci->lock
LOCK2 irq
TYPE_LOCK (struct fw_ohci)->lock

drivers/firewire/ohci.c ohci_stop_iso() -> context_stop()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock