Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ntfs3/frecord.c ni_add_name() -> ni_remove_attr_le()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 0 ni->attr_list.le 16,4096-ptr_max
PARAM_VALUE 0 ni->base->mi.sbi 4096-ptr_max
PARAM_VALUE 0 ni->mi.dirty 1
PARAM_VALUE 0 ni->mi.mrec 4096-ptr_max
PARAM_VALUE 0 ni->mi.rno 0-u32max
PARAM_VALUE 0 ni->mi.sbi 4096-ptr_max
PARAM_VALUE 0 ni->mi.sbi->options 4096-ptr_max
PARAM_VALUE 0 ni->vfs_inode.i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ni->vfs_inode.i_sb->s_fs_info->msg_ratelimit.lock.dep_map->name 0-255
PARAM_VALUE 0 ni->vfs_inode.i_sb->s_fs_info->msg_ratelimit.lock.owner_cpu 4294967295
PARAM_VALUE 0 ni->vfs_inode.i_sb->s_fs_info->volume.ni->ni_lock.dep_map->name 0-255
PARAM_VALUE 0 ni->vfs_inode.i_sb->s_fs_info->volume.ni->ni_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ni->vfs_inode.i_sb->s_fs_info->volume.ni->vfs_inode.i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 attr 4096-ptr_max
PARAM_VALUE 1 attr->flags 0
PARAM_VALUE 1 attr->name_off 24,64,72
PARAM_VALUE 1 attr->non_res 0
PARAM_VALUE 1 attr->nres.c_unit 0
PARAM_VALUE 1 attr->res.data_off 24,32-536
PARAM_VALUE 1 attr->res.flags 0-1
PARAM_VALUE 1 attr->res.res 0
PARAM_VALUE 1 attr->size 0-u16max
PARAM_VALUE 2 mi 4096-ptr_max
PARAM_VALUE 2 mi->rno 0-4294967295
PARAM_VALUE 3 le 0,4096-ptr_max
PARAM_VALUE 3 le->ref.high 0
DATA_SOURCE 0 ni $1 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dir_ni->base->ni_lock
HALF_LOCKED2 0 &ni->base->ni_lock

fs/ntfs3/frecord.c ni_remove_name() -> ni_remove_attr_le()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 0 ni->attr_list.size 1-u64max
PARAM_VALUE 0 ni->base->ni_lock.dep_map->name 0-255
PARAM_VALUE 0 ni->base->ni_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ni->base->ni_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ni->base->ni_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ni->mi_tree.rb_node 4096-ptr_max
PARAM_VALUE 0 ni->ni_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ni->ni_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 attr 4096-ptr_max
PARAM_VALUE 2 mi 4096-ptr_max
PARAM_VALUE 3 le 0,4096-ptr_max
DATA_SOURCE 0 ni $1 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ni->base->ni_lock
HALF_LOCKED2 &dir_ni->base->ni_lock
HALF_LOCKED2 &dir_ni->base->ni_lock
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct ntfs_inode)->ni_lock

fs/ntfs3/frecord.c ni_remove_name() -> ni_remove_attr_le()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 0 ni->attr_list.dirty 1
PARAM_VALUE 0 ni->attr_list.size 1-u64max
PARAM_VALUE 0 ni->base->ni_lock.dep_map->name 0-255
PARAM_VALUE 0 ni->base->ni_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ni->base->ni_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ni->base->ni_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ni->mi.dirty 1
PARAM_VALUE 0 ni->mi.mrec->hard_links 0-65534
PARAM_VALUE 0 ni->mi_tree.rb_node 4096-ptr_max
PARAM_VALUE 0 ni->ni_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ni->ni_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 attr 4096-ptr_max
PARAM_VALUE 2 mi 4096-ptr_max
PARAM_VALUE 2 mi->dirty 1
PARAM_VALUE 2 mi->mrec 4096-ptr_max
PARAM_VALUE 3 le 0,4096-ptr_max
DATA_SOURCE 0 ni $1 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ni->base->ni_lock
HALF_LOCKED2 &dir_ni->base->ni_lock
HALF_LOCKED2 &dir_ni->base->ni_lock
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct ntfs_inode)->ni_lock

fs/ntfs3/xattr.c ntfs_set_ea() -> ni_remove_attr_le()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 0 ni->attr_list.size 1-u64max
PARAM_VALUE 0 ni->mi.sbi->mft.ni->file.run_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ni->mi.sbi->mft.ni->file.run_lock.first_waiter->type 0-1
PARAM_VALUE 0 ni->mi.sbi->sb->s_bdev->bd_mapping->host->i_op->get_offset_ctx 0,2606890545167454208
PARAM_VALUE 0 ni->mi.sbi->sb->s_bdev->bd_mapping->host->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 0 ni->mi.sbi->sb->s_bdev->bd_mapping->host->i_op->sync_lazytime 0,6951464784224747520
PARAM_VALUE 0 ni->mi.sbi->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ni->mi.sbi->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 ni->mi.sbi->used.bitmap.rw_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ni->mi.sbi->used.bitmap.rw_lock.first_waiter->type 0-1
PARAM_VALUE 0 ni->mi.sbi->used.bitmap.sb->s_bdev->bd_mapping->host->i_op->get_offset_ctx 0,2606890545167454208
PARAM_VALUE 0 ni->mi.sbi->used.bitmap.sb->s_bdev->bd_mapping->host->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 0 ni->mi.sbi->used.bitmap.sb->s_bdev->bd_mapping->host->i_op->sync_lazytime 0,6951464784224747520
PARAM_VALUE 0 ni->mi.sbi->volume.ni->vfs_inode.i_mapping->host->i_sb->s_export_op->encode_fh 0,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 ni->mi.sbi->volume.ni->vfs_inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 attr 4096-ptr_max
PARAM_VALUE 2 mi 4096-ptr_max
PARAM_VALUE 3 le 0,4096-ptr_max
CAPPED_DATA 1 attr->name_len 1
DATA_SOURCE 0 ni r ntfs_i
DATA_SOURCE 1 attr r ni_find_attr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->base->ni_lock
HALF_LOCKED2 0 &ni->base->ni_lock
TYPE_LOCK (struct ntfs_inode)->ni_lock

fs/ntfs3/xattr.c ntfs_set_ea() -> ni_remove_attr_le()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 0 ni->attr_list.dirty 1
PARAM_VALUE 0 ni->mi.sbi->mft.ni->file.run_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ni->mi.sbi->mft.ni->file.run_lock.first_waiter->type 0-1
PARAM_VALUE 0 ni->mi.sbi->sb->s_bdev->bd_mapping->host->i_op->get_offset_ctx 0,2606890545167454208
PARAM_VALUE 0 ni->mi.sbi->sb->s_bdev->bd_mapping->host->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 0 ni->mi.sbi->sb->s_bdev->bd_mapping->host->i_op->sync_lazytime 0,6951464784224747520
PARAM_VALUE 0 ni->mi.sbi->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ni->mi.sbi->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 ni->mi.sbi->used.bitmap.rw_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ni->mi.sbi->used.bitmap.rw_lock.first_waiter->type 0-1
PARAM_VALUE 0 ni->mi.sbi->used.bitmap.sb->s_bdev->bd_mapping->host->i_op->get_offset_ctx 0,2606890545167454208
PARAM_VALUE 0 ni->mi.sbi->used.bitmap.sb->s_bdev->bd_mapping->host->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 0 ni->mi.sbi->used.bitmap.sb->s_bdev->bd_mapping->host->i_op->sync_lazytime 0,6951464784224747520
PARAM_VALUE 0 ni->mi.sbi->volume.ni->vfs_inode.i_mapping->host->i_sb->s_export_op->encode_fh 0,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 ni->mi.sbi->volume.ni->vfs_inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 attr 4096-ptr_max
PARAM_VALUE 2 mi 4096-ptr_max
PARAM_VALUE 2 mi->dirty 1
PARAM_VALUE 3 le 0,4096-ptr_max
CAPPED_DATA 1 attr->name_len 1
DATA_SOURCE 0 ni r ntfs_i
DATA_SOURCE 1 attr r ni_find_attr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->base->ni_lock
HALF_LOCKED2 0 &ni->base->ni_lock
TYPE_LOCK (struct ntfs_inode)->ni_lock