Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/hpfs/dnode.c delete_empty_dnode() -> hpfs_add_to_dnode()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->i_flctx->flc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_op 4096-ptr_max
PARAM_VALUE 0 i->i_op->rename 0,4096-ptr_max
PARAM_VALUE 0 i->i_op->rmdir 0,4096-ptr_max
PARAM_VALUE 0 i->i_op->unlink 0,4096-ptr_max
PARAM_VALUE 0 i->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 i->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 i->i_sb 4096-ptr_max
PARAM_VALUE 0 i->i_sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_sb->s_cop->inode_info_offs 1632,1808,2632,2648
PARAM_VALUE 0 i->i_sb->s_fs_info 4096-ptr_max
PARAM_VALUE 4 new_de 4096-ptr_max
PARAM_VALUE 4 new_de->last 0
BUF_SIZE 4 new_de 0-u16max
BUF_SIZE 4 new_de 0-u16max
CAPPED_DATA 0 i 1
CAPPED_DATA 0 i->i_sb->s_fs_info->n_hotfixes 1
DATA_SOURCE 0 i $0
DATA_SOURCE 1 dno r de_down_pointer
DATA_SOURCE 4 new_de r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 namelen unit_byte
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 0 &i->i_rwsem

fs/hpfs/dnode.c delete_empty_dnode() -> hpfs_add_to_dnode()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->i_flctx->flc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_op 4096-ptr_max
PARAM_VALUE 0 i->i_op->rename 0,4096-ptr_max
PARAM_VALUE 0 i->i_op->rmdir 0,4096-ptr_max
PARAM_VALUE 0 i->i_op->unlink 0,4096-ptr_max
PARAM_VALUE 0 i->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 i->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 i->i_sb 4096-ptr_max
PARAM_VALUE 0 i->i_sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_sb->s_cop->inode_info_offs 1632,1808,2632,2648
PARAM_VALUE 0 i->i_sb->s_fs_info 4096-ptr_max
PARAM_VALUE 4 new_de 4096-ptr_max
PARAM_VALUE 4 new_de->down 1
BUF_SIZE 4 new_de 0-u16max
BUF_SIZE 4 new_de 0-u16max
CAPPED_DATA 0 i 1
CAPPED_DATA 0 i->i_sb->s_fs_info->n_hotfixes 1
DATA_SOURCE 0 i $0
DATA_SOURCE 1 dno r de_down_pointer
DATA_SOURCE 4 new_de r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 namelen unit_byte
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 0 &i->i_rwsem

fs/hpfs/dnode.c hpfs_add_dirent() -> hpfs_add_to_dnode()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->i_op->atomic_open 0,4096-ptr_max
PARAM_VALUE 0 i->i_op->create 0,4096-ptr_max
PARAM_VALUE 0 i->i_op->mkdir 0,4096-ptr_max
PARAM_VALUE 0 i->i_op->mknod 0,4096-ptr_max
PARAM_VALUE 0 i->i_op->symlink 0,4096-ptr_max
PARAM_VALUE 0 i->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 i->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 i->i_sb 4096-ptr_max
PARAM_VALUE 0 i->i_sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 2 name 4096-ptr_max
PARAM_VALUE 3 namelen 0-s32max
PARAM_VALUE 4 new_de 1050126037468123136,2153789652587728896,3361638414284173312,3908655053279014912,4349262605939339264
PARAM_VALUE 5 down_ptr 0
BUF_SIZE 2 name s32min-(-2),1-s32max
BUF_SIZE 2 name s32min-(-2),1-s32max
CAPPED_DATA 0 i 1
CAPPED_DATA 0 i->i_sb->s_fs_info->n_hotfixes 1
CAPPED_DATA 3 namelen 1
DATA_SOURCE 0 i $0
DATA_SOURCE 2 name $1
DATA_SOURCE 3 namelen $2
DATA_SOURCE 4 new_de $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i->i_size (-9223372036854775807)-(-4),0-s64max
UNITS 1 dno unit_byte
UNITS 2 name unit_byte
UNITS 3 namelen unit_byte
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 0 &i->i_rwsem

fs/hpfs/dnode.c move_to_top() -> hpfs_add_to_dnode()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->i_flctx->flc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_op 4096-ptr_max
PARAM_VALUE 0 i->i_op->rename 0,4096-ptr_max
PARAM_VALUE 0 i->i_op->rmdir 0,4096-ptr_max
PARAM_VALUE 0 i->i_op->unlink 0,4096-ptr_max
PARAM_VALUE 0 i->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 i->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 i->i_sb 4096-ptr_max
PARAM_VALUE 0 i->i_sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_sb->s_cop->inode_info_offs 1632,1808,2632,2648
PARAM_VALUE 0 i->i_sb->s_fs_info 4096-ptr_max
PARAM_VALUE 4 new_de 4096-ptr_max
PARAM_VALUE 5 down_ptr 1-u32max
BUF_SIZE 4 new_de 0-u16max
BUF_SIZE 4 new_de 0-u16max
CAPPED_DATA 0 i 1
CAPPED_DATA 0 i->i_sb->s_fs_info->n_hotfixes 1
DATA_SOURCE 0 i $0
DATA_SOURCE 1 dno $2
DATA_SOURCE 4 new_de r _kmalloc_noprof
DATA_SOURCE 5 down_ptr $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 dno unit_byte
UNITS 3 namelen unit_byte
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 0 &i->i_rwsem