Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/autofs/expire.c autofs_check_leaves() -> get_next_positive_dentry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root | 4096-ptr_max |
| PARAM_VALUE | 1 | root->d_fsdata | 4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_prune | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_real | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| CAPPED_DATA | 0 | prev | 1 |
| DATA_SOURCE | 1 | root | $1 |
| UNITS | 1 | root | unit_jiffy |
| HALF_LOCKED2 | &found->d_lockref.lock | ||
| HALF_LOCKED2 | 1 | &root->d_lockref.lock |
fs/autofs/expire.c autofs_check_leaves() -> get_next_positive_dentry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prev | 4096-ptr_max |
| PARAM_VALUE | 1 | root | 4096-ptr_max |
| PARAM_VALUE | 1 | root->d_fsdata | 4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_prune | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_real | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 1 | root->d_sb | 4096-ptr_max |
| DATA_SOURCE | 0 | prev | r get_next_positive_dentry |
| DATA_SOURCE | 1 | root | $1 |
| UNITS | 1 | root | unit_jiffy |
| HALF_LOCKED2 | &found->d_lockref.lock | ||
| HALF_LOCKED2 | 1 | &root->d_lockref.lock |
fs/autofs/expire.c autofs_tree_busy() -> get_next_positive_dentry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root | 4096-ptr_max |
| PARAM_VALUE | 1 | root->d_fsdata | 4096-ptr_max |
| PARAM_VALUE | 1 | root->d_hash.pprev | 1-u64max |
| PARAM_VALUE | 1 | root->d_inode | 1-u64max |
| PARAM_VALUE | 1 | root->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_prune | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_real | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| CAPPED_DATA | 0 | prev | 1 |
| CAPPED_DATA | 1 | root | 1 |
| DATA_SOURCE | 1 | root | $1 |
| UNITS | 0 | prev | unit_jiffy |
| UNITS | 1 | root | unit_jiffy |
| HALF_LOCKED2 | &found->d_lockref.lock | ||
| HALF_LOCKED2 | 1 | &root->d_lockref.lock |
fs/autofs/expire.c autofs_tree_busy() -> get_next_positive_dentry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prev | 4096-ptr_max |
| PARAM_VALUE | 1 | root | 4096-ptr_max |
| PARAM_VALUE | 1 | root->d_fsdata | 4096-ptr_max |
| PARAM_VALUE | 1 | root->d_hash.pprev | 1-u64max |
| PARAM_VALUE | 1 | root->d_inode | 1-u64max |
| PARAM_VALUE | 1 | root->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_prune | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_op->d_real | 0,4096-ptr_max |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 1 | root->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 1 | root->d_sb | 4096-ptr_max |
| CAPPED_DATA | 1 | root | 1 |
| DATA_SOURCE | 0 | prev | r get_next_positive_dentry |
| DATA_SOURCE | 1 | root | $1 |
| UNITS | 0 | prev | unit_jiffy |
| UNITS | 1 | root | unit_jiffy |
| HALF_LOCKED2 | &found->d_lockref.lock | ||
| HALF_LOCKED2 | 1 | &root->d_lockref.lock |