Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/pnode.c propagate_mount_busy() -> do_refcount_check()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 1 count 1-2
CAPPED_DATA 0 mnt 1
CAPPED_DATA 0 &mnt->mnt_mounts 1
DATA_SOURCE 0 mnt $0
DATA_SOURCE 1 count $1
PARAM_COMPARE 0 &mnt->mnt_mounts == $0->mnt_mounts.next
HARD_MAX 1 count 2
LOCK2 global &mount_lock.lock
LOCK2 global &namespace_sem

fs/pnode.c propagate_mount_busy() -> do_refcount_check()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 1 count 1
CAPPED_DATA 0 mnt->mnt_mountpoint 1
DATA_SOURCE 0 mnt r __lookup_mnt
LOCK2 global &mount_lock.lock
LOCK2 global &namespace_sem