Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/ohci.c handle_dead_contexts() -> detect_dead_context()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 1 name 7750521943259070464
PARAM_VALUE 2 regs 384
BUF_SIZE 1 name 6
DATA_SOURCE 0 ohci $0
STR_LEN 0 ohci 5
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/firewire/ohci.c handle_dead_contexts() -> detect_dead_context()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 1 name 5909262520407293952
PARAM_VALUE 2 regs 416
BUF_SIZE 1 name 6
DATA_SOURCE 0 ohci $0
STR_LEN 0 ohci 5
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/firewire/ohci.c handle_dead_contexts() -> detect_dead_context()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 1 name 3245432391197163520
PARAM_VALUE 2 regs 448
BUF_SIZE 1 name 6
DATA_SOURCE 0 ohci $0
STR_LEN 0 ohci 5
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/firewire/ohci.c handle_dead_contexts() -> detect_dead_context()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 1 name 5835006267095347200
PARAM_VALUE 2 regs 480
BUF_SIZE 1 name 6
DATA_SOURCE 0 ohci $0
STR_LEN 0 ohci 5
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/firewire/ohci.c handle_dead_contexts() -> detect_dead_context()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 1 name 3678627383382372352
PARAM_VALUE 2 regs 512-1008
BUF_SIZE 1 name 8
DATA_SOURCE 0 ohci $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/firewire/ohci.c handle_dead_contexts() -> detect_dead_context()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 1 name 3678627383382372352
PARAM_VALUE 2 regs 1024-2016
BUF_SIZE 1 name 8
DATA_SOURCE 0 ohci $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq