Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/namespace.c path_pivot_root() -> chroot_fs_refs()

Type Parameter Key Value
PARAM_VALUE 0 old_root 3328856821100011520
PARAM_VALUE 0 old_root->mnt 4096-ptr_max
PARAM_VALUE 1 new_root 974911601717030912,1195093872740364288
PARAM_VALUE 1 new_root->dentry 4096-ptr_max
PARAM_VALUE 1 new_root->mnt 4096-ptr_max
PARAM_VALUE 1 new_root->mnt->mnt_root 4096-ptr_max
CAPPED_DATA 1 new_root->dentry 1
CAPPED_DATA 1 new_root->mnt 1
CAPPED_DATA 1 new_root->mnt->mnt_root 1
DATA_SOURCE 1 new_root $0
PARAM_COMPARE 1 new_root->dentry == $1->mnt->mnt_root
NOCHECK_CALL