Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/namespace.c do_move_mount() -> attach_recursive_mnt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | source_mnt | 4096-ptr_max |
| PARAM_VALUE | 0 | source_mnt->mnt.mnt_root | 4096-ptr_max |
| PARAM_VALUE | 0 | source_mnt->mnt_ns->is_anon | 1 |
| PARAM_VALUE | 0 | source_mnt->mnt_ns->root | 4096-ptr_max |
| PARAM_VALUE | 1 | dest | 4840642130781356032 |
| PARAM_VALUE | 1 | dest->mp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dest->parent | 4096-ptr_max |
| CAPPED_DATA | 0 | source_mnt | 1 |
| DATA_SOURCE | 0 | source_mnt | r real_mount |
fs/namespace.c graft_tree() -> attach_recursive_mnt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | source_mnt | 4096-ptr_max |
| PARAM_VALUE | 0 | source_mnt->mnt.mnt_root | 4096-ptr_max |
| PARAM_VALUE | 0 | source_mnt->mnt.mnt_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | dest | 2250278746685325312,8584327291326013440 |
| PARAM_VALUE | 1 | dest->mp | 4096-ptr_max |
| PARAM_VALUE | 1 | dest->mp->m_dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | dest->parent | 4096-ptr_max |
| CAPPED_DATA | 0 | source_mnt | 1 |
| DATA_SOURCE | 0 | source_mnt | $0 |
| DATA_SOURCE | 1 | dest | $1 |
| BIT_INFO | 0 | source_mnt->mnt.mnt_sb->s_flags | 0x0,0xffffffff7fffffff |
| RX_PATH |