Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/ref-verify.c add_block_entry() -> insert_root_entry()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 1 re 4096-ptr_max
PARAM_VALUE 1 re->num_refs 0
PARAM_VALUE 1 re->root_objectid 1-u64max
BUF_SIZE 1 re 40
DATA_SOURCE 1 re r _kzalloc_noprof
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &fs_info->ref_verify_lock
TYPE_LOCK (struct btrfs_fs_info)->ref_verify_lock

fs/btrfs/ref-verify.c add_block_entry() -> insert_root_entry()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 1 re 4096-ptr_max
PARAM_VALUE 1 re->num_refs 0
PARAM_VALUE 1 re->root_objectid 1-u64max
BUF_SIZE 1 re 40
DATA_SOURCE 1 re r _kzalloc_noprof
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &fs_info->ref_verify_lock
TYPE_LOCK (struct btrfs_fs_info)->ref_verify_lock

fs/btrfs/ref-verify.c btrfs_ref_tree_mod() -> insert_root_entry()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 1 re 4096-ptr_max
PARAM_VALUE 1 re->num_refs 0
BUF_SIZE 1 re 40
DATA_SOURCE 1 re r _kmalloc_noprof
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &fs_info->ref_verify_lock
TYPE_LOCK (struct btrfs_fs_info)->ref_verify_lock