Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/namespace.c __legitimize_mnt() -> mnt_add_count()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 1 n 1
DATA_SOURCE 0 mnt r real_mount
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

fs/namespace.c __legitimize_mnt() -> mnt_add_count()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_pcp 4096-ptr_max
PARAM_VALUE 1 n (-1)
DATA_SOURCE 0 mnt r real_mount
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mount_lock.lock
HALF_LOCKED2 rcu_read

fs/namespace.c mntget() -> mnt_add_count()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 1 n 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &u->bindlock
HALF_LOCKED2 global &mount_lock.lock
HALF_LOCKED2 global &namespace_sem
HALF_LOCKED2 global &pin_fs_lock

fs/namespace.c mntput_no_expire() -> mnt_add_count()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 1 n (-1)
CAPPED_DATA 0 mnt 1
DATA_SOURCE 0 mnt $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

fs/namespace.c mntput_no_expire_slowpath() -> mnt_add_count()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 1 n (-1)
CAPPED_DATA 0 mnt 1
DATA_SOURCE 0 mnt $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mount_lock.lock
LOCK2 rcu_read