Defined in 1 files as a prototype:

Defined in 2 files as a member:

Defined in 2 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/net/wireguard/allowedips.c remove() -> remove_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->cidr 0-128
PARAM_VALUE 1 lock 4096-ptr_max
DATA_SOURCE 1 lock $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mutex
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

drivers/net/wireguard/allowedips.c wg_allowedips_remove_by_peer() -> remove_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 1 lock 4096-ptr_max
CAPPED_DATA 0 &node->peer_list 1
DATA_SOURCE 1 lock $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mutex
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

kernel/gcov/fs.c add_node() -> remove_node()

Type Parameter Key Value
PARAM_VALUE 0 node 1-u64max
PARAM_VALUE 0 node->dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 node->dentry->d_inode->i_rwsem.first_waiter->type 0-1
BUF_SIZE 0 node s32min-s32max
NOCHECK_CALL
LOCK2 global &gcov_lock
LOCK2 global &node_lock

kernel/gcov/fs.c gcov_seq_write() -> remove_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->num_loaded 0
DATA_SOURCE 0 node r get_node_by_name
NOCHECK_CALL
LOCK2 global &node_lock

kernel/gcov/fs.c remove_info() -> remove_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->loaded_info 0
PARAM_VALUE 0 node->num_loaded 0
PARAM_VALUE 0 node->unloaded_info 0
DATA_SOURCE 0 node $0
NOCHECK_CALL
LOCK2 global &gcov_lock
LOCK2 global &node_lock

kernel/gcov/fs.c reset_write() -> remove_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->children.next 4096-ptr_max
PARAM_VALUE 0 node->num_loaded s32min-0
CAPPED_DATA 0 &node->all 1
CAPPED_DATA 0 &node->children 1
PARAM_COMPARE 0 &node->children == $0->children.next
NOCHECK_CALL
LOCK2 global &node_lock