Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->bm_node_id u16max
PARAM_VALUE 0 card->gap_count 0-63
PARAM_VALUE 0 card->generation 0-255
PARAM_VALUE 0 card->irm_node 0,4096-ptr_max
PARAM_VALUE 0 card->irm_node->kref.refcount.refs.counter 1
PARAM_VALUE 0 card->irm_node->link.next 4096-ptr_max
PARAM_VALUE 0 card->irm_node->link.prev 4096-ptr_max
PARAM_VALUE 0 card->irm_node->node_id 65472-u16max
PARAM_VALUE 0 card->local_node 1-u64max
PARAM_VALUE 0 card->node_id 0-u16max
PARAM_VALUE 0 card->root_node 4096-ptr_max
PARAM_VALUE 0 card->root_node->kref.refcount.refs.counter 1
PARAM_VALUE 0 card->root_node->link.next 4096-ptr_max
PARAM_VALUE 0 card->root_node->link.prev 4096-ptr_max
PARAM_VALUE 0 card->root_node->node_id 65472-u16max
PARAM_VALUE 1 root 4096-ptr_max
PARAM_VALUE 1 root->kref.refcount.refs.counter 1
PARAM_VALUE 1 root->link.next 4096-ptr_max
PARAM_VALUE 1 root->link.prev 4096-ptr_max
PARAM_VALUE 1 root->node_id 65472-u16max
BUF_SIZE 1 root s32min-s32max
CAPPED_DATA 0 card->generation 1
DATA_SOURCE 0 card $0
DATA_SOURCE 1 root r build_tree
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 card->node_id 0-u16max
LOCK2 0 &card->lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct fw_card)->lock