Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/core-topology.c update_tree() -> move_tree()

Type Parameter Key Value
PARAM_VALUE 0 node0 4096-ptr_max
PARAM_VALUE 0 node0->ports 4096-ptr_max
PARAM_VALUE 1 node1 4096-ptr_max
PARAM_VALUE 1 node1->ports 4096-ptr_max
PARAM_VALUE 2 port 0-254
CAPPED_DATA 0 node0 1
CAPPED_DATA 1 node1 1
CAPPED_DATA 2 port 1
PARAM_COMPARE 2 port < $0->port_count
CONSTRAINT 2 port <3713
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &card->lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct fw_card)->lock