Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 1 shrink_list 962622197967974400
PARAM_VALUE 1 shrink_list->next 4096-ptr_max
PARAM_VALUE 1 shrink_list->prev 962622197967974400
CAPPED_DATA 0 &mnt->mnt_child 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mount_lock.lock

fs/namespace.c umount_mnt() -> __umount_mnt()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 1 shrink_list 2581887097335226368
BUF_SIZE 0 mnt (-1)-s32max
BUF_SIZE 0 mnt (-1)-s32max
CAPPED_DATA 0 mnt 1
DATA_SOURCE 0 mnt $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mount_lock.lock
HALF_LOCKED2 global &namespace_sem