Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

fs/fs_context.c put_fs_context() -> put_filesystem()

Type Parameter Key Value
BUF_SIZE 0 fs (-1),232
BUF_SIZE 0 fs (-1),232
STR_LEN 0 fs (-1),3,6,8,68
STR_LEN 0 fs (-1),3,6,8,68
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->root->d_lockref.lock
HALF_LOCKED2 &sb->s_umount

fs/super.c deactivate_locked_super() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
BUF_SIZE 0 fs (-1),232
BUF_SIZE 0 fs (-1),232
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex

init/do_mounts.c fs_is_nodev() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
PARAM_VALUE 0 fs->name 4096-ptr_max
PARAM_VALUE 0 fs->owner 0,4096-ptr_max
PARAM_VALUE 0 fs->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 fs->owner->state 0-1,3-u32max
DATA_SOURCE 0 fs r get_fs_type
NOCHECK_CALL

fs/filesystems.c fs_name() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
PARAM_VALUE 0 fs->owner 0,4096-ptr_max
NOCHECK_CALL

fs/filesystems.c get_fs_type() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
PARAM_VALUE 0 fs->name 4096-ptr_max
PARAM_VALUE 0 fs->owner 0,4096-ptr_max
PARAM_VALUE 0 fs->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 fs->owner->state 0-1,3-u32max
DATA_SOURCE 0 fs r __get_fs_type
BIT_INFO 0 fs->fs_flags 0x0,0xfffffffb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &tomoyo_ss

security/apparmor/mount.c aa_new_mount() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
PARAM_VALUE 0 fs->name 4096-ptr_max
PARAM_VALUE 0 fs->owner 0,4096-ptr_max
PARAM_VALUE 0 fs->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 fs->owner->state 0-1,3-u32max
DATA_SOURCE 0 fs r get_fs_type
NOCHECK_CALL

security/tomoyo/mount.c tomoyo_mount_acl() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
PARAM_VALUE 0 fs->name 4096-ptr_max
PARAM_VALUE 0 fs->owner 0,4096-ptr_max
PARAM_VALUE 0 fs->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 fs->owner->state 0-1,3-u32max
DATA_SOURCE 0 fs r get_fs_type
NOCHECK_CALL
LOCK2 global &tomoyo_ss

fs/namespace.c do_new_mount() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
PARAM_VALUE 0 fs->fs_flags s32min-(-1),4-s32max
PARAM_VALUE 0 fs->name 4096-ptr_max
PARAM_VALUE 0 fs->owner 0,4096-ptr_max
PARAM_VALUE 0 fs->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 fs->owner->state 0-1,3-u32max
DATA_SOURCE 0 fs r get_fs_type
BIT_INFO 0 fs->fs_flags 0x4,0xffffffff
NOCHECK_CALL

fs/namespace.c do_new_mount() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
PARAM_VALUE 0 fs->name 4096-ptr_max
PARAM_VALUE 0 fs->owner 0,4096-ptr_max
PARAM_VALUE 0 fs->owner->state 0-1,3-u32max
DATA_SOURCE 0 fs r get_fs_type
NOCHECK_CALL

kernel/cgroup/cgroup.c cpuset_init_fs_context() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
BUF_SIZE 0 fs (-1),232
BUF_SIZE 0 fs (-1),232
STR_LEN 0 fs (-1),3,6,8,68
STR_LEN 0 fs (-1),3,6,8,68
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex

kernel/trace/trace.c trace_automount() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
PARAM_VALUE 0 fs->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 fs->owner->state 0-1,3-u32max
DATA_SOURCE 0 fs r get_fs_type
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mntpt->d_lockref.lock

fs/fsopen.c __do_sys_fsopen() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
PARAM_VALUE 0 fs->name 4096-ptr_max
PARAM_VALUE 0 fs->owner 0,4096-ptr_max
PARAM_VALUE 0 fs->owner->state 0-1,3-u32max
DATA_SOURCE 0 fs r get_fs_type
NOCHECK_CALL

fs/fsopen.c __do_sys_fsopen() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
PARAM_VALUE 0 fs->name 4096-ptr_max
PARAM_VALUE 0 fs->owner 0,4096-ptr_max
PARAM_VALUE 0 fs->owner->state 0-1,3-u32max
DATA_SOURCE 0 fs r get_fs_type
NOCHECK_CALL

fs/proc/proc_sysctl.c process_sysctl_arg() -> put_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
PARAM_VALUE 0 fs->name 4096-ptr_max
PARAM_VALUE 0 fs->owner 0,4096-ptr_max
PARAM_VALUE 0 fs->owner->state 0-1,3-u32max
DATA_SOURCE 0 fs r get_fs_type
NOCHECK_CALL
HALF_LOCKED2 irq