Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/ohci.c find_and_insert_self_id() -> detect_initiated_reset()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->node_id 0-u16max
PARAM_VALUE 0 ohci->quirks 32-u32max
PARAM_VALUE 0 ohci->self_id 4096-ptr_max
PARAM_VALUE 1 is_initiated_reset 4253403492444827648
DATA_SOURCE 0 ohci $0
BIT_INFO 0 ohci->quirks 0x20,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ohci->is_root 0-1
HOST_DATA 0 ohci->node_id 0-u16max
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq