Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/namespace.c do_add_mount() -> graft_tree()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mnt | 4096-ptr_max |
| PARAM_VALUE | 0 | mnt->mnt.mnt_flags | 0-s32max |
| PARAM_VALUE | 0 | mnt->mnt.mnt_root | 4096-ptr_max |
| PARAM_VALUE | 1 | mp | 2250278746685325312,6432334256566214656 |
| PARAM_VALUE | 1 | mp->mp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | mp->parent | 4096-ptr_max |
| DATA_SOURCE | 0 | mnt | $0 |
| DATA_SOURCE | 1 | mp | $1 |
| BIT_INFO | 0 | mnt->mnt.mnt_flags | 0x0,0x7c7fbfff |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/namespace.c do_loopback() -> graft_tree()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mnt | 4096-ptr_max |
| PARAM_VALUE | 1 | mp | 8584327291326013440 |
| PARAM_VALUE | 1 | mp->mp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | mp->parent | 4096-ptr_max |
| CAPPED_DATA | 0 | mnt | 1 |
| DATA_SOURCE | 0 | mnt | r __do_loopback |