Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/inode.c btrfs_read_locked_inode() -> btrfs_load_inode_props()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->delayed_node 0,4096-ptr_max
PARAM_VALUE 0 inode->delayed_node->ref_dir.dir.list.next 4096-ptr_max
PARAM_VALUE 0 inode->delayed_node->ref_dir.dir.list.next->next 4096-ptr_max
PARAM_VALUE 0 inode->delayed_node->ref_dir.dir.list.next->prev 4096-ptr_max
PARAM_VALUE 0 inode->delayed_node->root 4096-ptr_max
PARAM_VALUE 0 inode->ro_flags 0
PARAM_VALUE 0 inode->root 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info 4096-ptr_max
PARAM_VALUE 0 inode->vfs_inode.i_blocks 0-18014398509481983,18428729675200069632-u64max
PARAM_VALUE 0 inode->vfs_inode.i_bytes 0-511
PARAM_VALUE 0 inode->vfs_inode.i_ino 0,2-u64max
PARAM_VALUE 0 inode->vfs_inode.i_mapping 4096-ptr_max
PARAM_VALUE 0 inode->vfs_inode.i_mapping->flags 0-u32max
PARAM_VALUE 0 inode->vfs_inode.i_rdev 0
PARAM_VALUE 0 inode->vfs_inode.i_sb 4096-ptr_max
PARAM_VALUE 0 inode->vfs_inode.i_version.counter s64min-(-1),1,3-s64max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->nodes 4096-ptr_max
PARAM_VALUE 1 path->slots 4096-ptr_max
PARAM_VALUE 1 *path->locks 0-255
PARAM_VALUE 1 *path->slots s32min-s32max
BUF_SIZE 1 path (-1)-s32max
BUF_SIZE 1 path (-1)-s32max
CAPPED_DATA 0 inode->root->fs_info->block_max_order 1
CAPPED_DATA 0 inode->root->fs_info->block_min_order 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 1 path $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING