Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/btrfs/verity.c btrfs_drop_verity_items() -> drop_verity_items()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->root->fs_info->sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | inode->root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->atomic_open | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->create | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->fiemap | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->fileattr_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->fileattr_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->get_acl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->get_inode_acl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->get_link | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->get_offset_ctx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->getattr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->link | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->listxattr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->lookup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->mkdir | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->mknod | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->permission | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->rename | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->rmdir | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->set_acl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->setattr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->symlink | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->sync_lazytime | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->tmpfile | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->unlink | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->update_time | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_sb->s_cop->empty_dir | 0,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_sb->s_cop->get_context | 0,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_sb->s_cop->set_context | 0,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 1 | key_type | 36 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/btrfs/verity.c btrfs_drop_verity_items() -> drop_verity_items()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->root->fs_info->sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | inode->root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->atomic_open | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->create | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->fiemap | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->fileattr_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->fileattr_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->get_acl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->get_inode_acl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->get_link | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->get_offset_ctx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->getattr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->link | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->listxattr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->lookup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->mkdir | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->mknod | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->permission | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->rename | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->rmdir | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->set_acl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->setattr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->symlink | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->sync_lazytime | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->tmpfile | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->unlink | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_op->update_time | 0,4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_sb->s_cop->empty_dir | 0,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_sb->s_cop->get_context | 0,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_sb->s_cop->set_context | 0,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 1 | key_type | 37 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |