Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/efivarfs/super.c efivarfs_unfreeze_fs() -> find_next_child()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | prev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_hash.pprev | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_parent->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->head.first | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->lease_shared_gen | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->waiters | 0 |
| PARAM_VALUE | 1 | prev->d_hash.next->pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_inode | 0 |
| PARAM_VALUE | 1 | prev->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prev->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prev->d_sb->s_roots_lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 1 | prev | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | parent | unit_jiffy |
| LOCK2 | &sb->s_umount | ||
| TYPE_LOCK | (struct super_block)->s_umount |
fs/binfmt_misc.c bm_remove_all_entries() -> find_next_child()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent | 4096-ptr_max |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | prev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_alias->next->pprev | 1-u64max |
| PARAM_VALUE | 1 | prev->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_hash.pprev | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_parent->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->head.first | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->lease_shared_gen | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->waiters | 0 |
| PARAM_VALUE | 1 | prev->d_hash.next->pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_hash.pprev | 0 |
| PARAM_VALUE | 1 | prev->d_inode | 0 |
| PARAM_VALUE | 1 | prev->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prev->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prev->d_sb->s_roots_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prev->d_sib->next->pprev | 1-u64max |
| PARAM_VALUE | 1 | prev->waiters | 0 |
| UNITS | 0 | parent | unit_jiffy |
| LOCK2 | &root->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/binfmt_misc.c bm_remove_all_entries() -> find_next_child()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent | 4096-ptr_max |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | prev | 4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_alias->next->pprev | 1-u64max |
| PARAM_VALUE | 1 | prev->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_hash.pprev | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_parent->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->head.first | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->lease_shared_gen | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->waiters | 0 |
| PARAM_VALUE | 1 | prev->d_hash.next->pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prev->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prev->d_sb->s_roots_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prev->d_sib->next->pprev | 1-u64max |
| PARAM_VALUE | 1 | *prev->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| DATA_SOURCE | 1 | prev | r find_next_child |
| UNITS | 0 | parent | unit_jiffy |
| LOCK2 | &root->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/libfs.c __simple_recursive_removal() -> find_next_child()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent | 4096-ptr_max |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | prev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_alias->next->pprev | 1-u64max |
| PARAM_VALUE | 1 | prev->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_hash.pprev | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->d_parent->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->head.first | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->lease_shared_gen | 0 |
| PARAM_VALUE | 1 | prev->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | prev->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | prev->d_fsdata->waiters | 0 |
| PARAM_VALUE | 1 | prev->d_hash.next->pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_inode | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prev->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | prev->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | prev->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prev->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prev->d_sb->s_roots_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prev->d_sib->next->pprev | 1-u64max |
| BUF_SIZE | 0 | parent | (-1),1-s32max |
| BUF_SIZE | 0 | parent | (-1),1-s32max |
| BUF_SIZE | 1 | prev | (-1)-s32max |
| BUF_SIZE | 1 | prev | (-1)-s32max |
| CAPPED_DATA | 1 | prev | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | prev->dev.driver_data->pdev->sriov->offset | 0 |
| HOST_DATA | 1 | prev->dev.driver_data->pdev->sriov->stride | 0 |
| HOST_DATA | 1 | prev->sriov->offset | 0 |
| HOST_DATA | 1 | prev->sriov->stride | 0 |
| NO_OVERFLOW_SIMPLE | 1 | prev->tm->bm->bufio->block_size | |
| UNITS | 0 | parent | unit_jiffy |
| UNITS | 1 | prev | unit_jiffy |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | 1 | &prev->d_lockref.lock |