Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/base/devtmpfs.c dev_rmdir() -> end_removing_path()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 3685522695259734016 |
| PARAM_VALUE | 0 | path->dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | path->mnt | 4096-ptr_max |
| PARAM_VALUE | 1 | dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| BUF_SIZE | 1 | dentry | (-1)-s32max |
| BUF_SIZE | 1 | dentry | (-1)-s32max |
| CAPPED_DATA | 1 | dentry | 1 |
| DATA_SOURCE | 1 | dentry | r start_removing_path |
| NOCHECK_CALL |
drivers/base/devtmpfs.c handle_remove() -> end_removing_path()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 6492289452555485184 |
| PARAM_VALUE | 0 | path->dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | path->mnt | 4096-ptr_max |
| PARAM_VALUE | 1 | dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dentry->d_parent->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,2632,2648 |
| BUF_SIZE | 1 | dentry | (-1)-s32max |
| BUF_SIZE | 1 | dentry | (-1)-s32max |
| CAPPED_DATA | 1 | dentry | 1 |
| DATA_SOURCE | 1 | dentry | r start_removing_path |
| NOCHECK_CALL |