Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/file.c btrfs_sync_file() -> btrfs_log_dentry_safe()

Type Parameter Key Value
PARAM_VALUE 0 trans 4096-ptr_max
PARAM_VALUE 0 trans->in_fsync 1
PARAM_VALUE 1 dentry 4096-ptr_max
PARAM_VALUE 2 ctx 7647806072892100608
PARAM_VALUE 2 ctx->conflict_inodes.next 1353467440510324792,3530672843421683768,7647806072892100664
PARAM_VALUE 2 ctx->conflict_inodes.prev 1353467440510324792,3530672843421683768,7647806072892100664
PARAM_VALUE 2 ctx->inode 4096-ptr_max
PARAM_VALUE 2 ctx->list.next 1353467440510324760,3530672843421683736,7647806072892100632
PARAM_VALUE 2 ctx->list.prev 1353467440510324760,3530672843421683736,7647806072892100632
PARAM_VALUE 2 ctx->log_new_dentries 0
PARAM_VALUE 2 ctx->log_ret 0
PARAM_VALUE 2 ctx->log_transid 0
PARAM_VALUE 2 ctx->logged_before 0
PARAM_VALUE 2 ctx->logging_new_delayed_dentries 0
PARAM_VALUE 2 ctx->logging_new_name 0
PARAM_VALUE 2 ctx->num_conflict_inodes 0
PARAM_VALUE 2 ctx->ordered_extents.next 1353467440510324776,3530672843421683752,7647806072892100648
PARAM_VALUE 2 ctx->ordered_extents.prev 4096-ptr_max
DATA_SOURCE 0 trans r btrfs_start_transaction
DATA_SOURCE 1 dentry r file_dentry
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_mmap_lock
HALF_LOCKED2 &inode->vfs_inode.i_rwsem