Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/firewire/core-card.c __free_node_unref() -> fw_node_put()

Type Parameter Key Value
PARAM_VALUE 0 node 1-u64max
BIT_INFO 0 node 0x0,0x7fffffffffffffff
BIT_INFO 0 node 0x0,0x7fffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/core-topology.c for_each_fw_node() -> fw_node_put()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &card->lock

drivers/firewire/core-topology.c release_fw_node() -> fw_node_put()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
CAPPED_DATA 0 node->port_count 1
DATA_SOURCE 0 node $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &card->lock

drivers/firewire/core-topology.c report_lost_node() -> fw_node_put()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->device 4096-ptr_max
PARAM_VALUE 0 node->device->generation 0-255
PARAM_VALUE 0 node->device->node_id 0-u16max
PARAM_VALUE 0 node->device->work.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 node->device->workfn 4450716406404603904,5179951411860443136,6417949586931953664
CAPPED_DATA 0 node 1
CAPPED_DATA 0 node->port_count 1
DATA_SOURCE 0 node $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &card->lock

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

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->ports 4096-ptr_max
CAPPED_DATA 0 node 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &card->lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct fw_card)->lock

drivers/firewire/core-device.c fw_device_release() -> fw_node_put()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->device 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &subsys->su_mutex
HALF_LOCKED2 _T->lock