Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/file_table.c __fput() -> dissolve_on_fput()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock

fs/namespace.c __do_sys_fsmount() -> dissolve_on_fput()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_flags 0-8388607
PARAM_VALUE 0 mnt->mnt_idmap 1531479832127729664
PARAM_VALUE 0 mnt->mnt_root 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_sb 4096-ptr_max
BUF_SIZE 0 mnt 32
NOCHECK_CALL

fs/namespace.c __do_sys_fsmount() -> dissolve_on_fput()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_flags 0-8388607
PARAM_VALUE 0 mnt->mnt_idmap 1531479832127729664
PARAM_VALUE 0 mnt->mnt_root 4096-ptr_max
PARAM_VALUE 0 mnt->mnt_sb 4096-ptr_max
BUF_SIZE 0 mnt 32
NOCHECK_CALL

fs/namespace.c open_detached_copy() -> dissolve_on_fput()

Type Parameter Key Value
PARAM_VALUE 0 mnt 4096-ptr_max
BUF_SIZE 0 mnt (-1),32
BUF_SIZE 0 mnt (-1),32
DATA_SOURCE 0 mnt r mntget
NOCHECK_CALL