Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/namespace.c alloc_vfsmnt() -> mnt_free_id()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_devname 0,4096-ptr_max
PARAM_VALUE 0 mnt->mnt_pcp 0
BUF_SIZE 0 mnt->mnt_devname (-1),5
BUF_SIZE 0 mnt->mnt_pcp 8,u64max
CAPPED_DATA 0 mnt 1
CAPPED_DATA 0 mnt->mnt_devname 1
DATA_SOURCE 0 mnt r kmem_cache_alloc_noprof
STR_LEN 0 mnt->mnt_devname (-1),4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/namespace.c cleanup_mnt() -> mnt_free_id()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 0 mnt->mnt.mnt_sb 4096-ptr_max
PARAM_VALUE 0 mnt->mnt.mnt_sb->rcu.func 1-u64max
PARAM_VALUE 0 mnt->mnt.mnt_sb->rcu.next 0
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_bdev->bd_mapping->host->i_sb->s_export_op->fh_to_parent 0,5297,148606482432692224,436469935444291584,467281172929331200
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_bdev->bd_mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_dentry_lru.node 0
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_dentry_lru.shrinker_id (-1)
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_flags 0,2097152-u64max
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_inode_lru.node 0
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_inode_lru.shrinker_id (-1)
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_instances->next->pprev 1-u64max
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_instances.next 0
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_instances.pprev 0
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_list.next->prev 4096-ptr_max
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_list.prev 4096-ptr_max
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_shrink->done.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_shrink->done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_shrink->rcu.func 1-u64max
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_super_dev 0,4096-ptr_max
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_umount.dep_map->name 0-255
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_umount.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_umount.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 mnt->mnt.mnt_sb->s_umount.first_waiter->type 0-1
CAPPED_DATA 0 mnt->mnt.mnt_root 1
DATA_SOURCE 0 mnt $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mnt unit_byte
HALF_LOCKED2 0 &mnt->mnt.mnt_root->d_lockref.lock

fs/namespace.c clone_mnt() -> mnt_free_id()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 0 mnt->mnt.mnt_idmap 1531479832127729664
PARAM_VALUE 0 mnt->mnt_child.next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_child.next->next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_child.prev 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_child.prev->next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_child.prev->prev 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_devname 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_expire.next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_expire.next->next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_expire.prev 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_expire.prev->next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_expire.prev->prev 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_group_id 0
PARAM_VALUE 0 mnt->mnt_hash.next 0
PARAM_VALUE 0 mnt->mnt_hash.pprev 0
PARAM_VALUE 0 mnt->mnt_list.next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_list.next->next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_list.prev 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_mounts.next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_mounts.next->next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_mounts.prev 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_mounts.prev->next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_mounts.prev->prev 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_mp_list.next 0
PARAM_VALUE 0 mnt->mnt_mp_list.pprev 0
PARAM_VALUE 0 mnt->mnt_ns_visible.next 0
PARAM_VALUE 0 mnt->mnt_ns_visible.pprev 0
PARAM_VALUE 0 mnt->mnt_pcp 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_share.next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_share.next->next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_share.prev 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_share.prev->next 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_share.prev->prev 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_slave.next 0
PARAM_VALUE 0 mnt->mnt_slave.pprev 0
CAPPED_DATA 0 mnt 1
DATA_SOURCE 0 mnt r alloc_vfsmnt
BIT_INFO 0 mnt->mnt.mnt_flags 0x0,0xfc7fbfff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &root->d_inode->i_rwsem
HALF_LOCKED2 &to_path.dentry->d_inode->i_rwsem
HALF_LOCKED2 global &acct_on_mutex
HALF_LOCKED2 global &namespace_sem