Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 72 files:

Smatch caller information:

fs/hfs/super.c exit_hfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 436275460957278208
NOCHECK_CALL

fs/ufs/super.c exit_ufs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4259415036206702592
NOCHECK_CALL

fs/nfs/super.c register_nfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 7177152252406210560
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
PARAM_VALUE 0 fs->parameters 1818657296155828224
NOCHECK_CALL

fs/nfs/super.c unregister_nfs4_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 1729052651216490496
NOCHECK_CALL

fs/nfs/super.c unregister_nfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 7177152252406210560
NOCHECK_CALL

fs/ocfs2/super.c ocfs2_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 6520440244788178944
NOCHECK_CALL

drivers/usb/gadget/legacy/inode.c gadgetfs_cleanup() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 6041311085648576512
NOCHECK_CALL

fs/cramfs/inode.c exit_cramfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4780660533652729856
NOCHECK_CALL

fs/befs/linuxvfs.c exit_befs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 6685743277899091968
NOCHECK_CALL

fs/hfsplus/super.c exit_hfsplus_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 7882157855647608832
NOCHECK_CALL

fs/ntfs/super.c exit_ntfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 5505760682136641536
NOCHECK_CALL

fs/erofs/super.c erofs_module_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 8284008723723325440
NOCHECK_CALL

fs/minix/inode.c exit_minix_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 6790691032290668544
NOCHECK_CALL

fs/nfsd/nfsctl.c exit_nfsd() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 8126872108881690624
NOCHECK_CALL

fs/nfsd/nfsctl.c init_nfsd() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 8126872108881690624
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
NOCHECK_CALL

mm/shmem.c shmem_init() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 5486464806288510976
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
PARAM_VALUE 0 fs->name 0,4096-ptr_max
PARAM_VALUE 0 fs->owner 0,4096-ptr_max
PARAM_VALUE 0 fs->parameters 7688677965369323520
NOCHECK_CALL

fs/pstore/inode.c pstore_exit_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 180534405653630976
NOCHECK_CALL

fs/nilfs2/super.c exit_nilfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 9189745750008590336
NOCHECK_CALL

fs/pipe.c init_pipe_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 1002941873383383040
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
PARAM_VALUE 0 fs->name 2056966818608975872
PARAM_VALUE 0 fs->owner 0
NOCHECK_CALL

fs/coda/psdev.c exit_coda() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 6199276666395840512

fs/exfat/super.c exit_exfat_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 2756717303151132672
NOCHECK_CALL

fs/resctrl/rdtgroup.c resctrl_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 5560533197198147584
NOCHECK_CALL

fs/adfs/super.c exit_adfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 6915243178183917568
NOCHECK_CALL

fs/jffs2/super.c exit_jffs2_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 397968233938436096
NOCHECK_CALL

fs/overlayfs/super.c ovl_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 5395982499923771392
NOCHECK_CALL

security/selinux/selinuxfs.c init_sel_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 9169291276313923584
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
PARAM_VALUE 0 fs->name 0,4096-ptr_max
PARAM_VALUE 0 fs->owner 0,4096-ptr_max
NOCHECK_CALL

net/sunrpc/rpc_pipe.c unregister_rpc_pipefs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 3475972983177379840
NOCHECK_CALL

fs/bfs/inode.c exit_bfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 1024517272849592320
NOCHECK_CALL

fs/isofs/inode.c exit_iso9660_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 2666996933110165504
NOCHECK_CALL

fs/affs/super.c exit_affs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 7743333157272535040
NOCHECK_CALL

fs/jfs/super.c exit_jfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 153498848003973120
NOCHECK_CALL

fs/gfs2/main.c exit_gfs2_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 2459629847269122048
NOCHECK_CALL

fs/gfs2/main.c exit_gfs2_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 9122482441069023232
NOCHECK_CALL

fs/gfs2/main.c init_gfs2_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 2459629847269122048
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
PARAM_VALUE 0 fs->parameters 2919102991575703552
NOCHECK_CALL

fs/btrfs/tests/btrfs-tests.c btrfs_destroy_test_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 6373830207927713792
NOCHECK_CALL

fs/btrfs/tests/btrfs-tests.c btrfs_init_test_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 6373830207927713792
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
PARAM_VALUE 0 fs->name 3785699131132481536
PARAM_VALUE 0 fs->owner 0
NOCHECK_CALL

fs/ecryptfs/main.c ecryptfs_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 928347147944701952
NOCHECK_CALL

fs/afs/super.c afs_fs_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 8285563753446080512
NOCHECK_CALL

fs/ext2/super.c exit_ext2_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 7149190949355819008
NOCHECK_CALL

fs/fuse/virtio_fs.c virtio_fs_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 1060108049105461248
NOCHECK_CALL

fs/autofs/init.c exit_autofs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 5537803087926161408
NOCHECK_CALL

net/socket.c sock_init() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 1957444260958019584
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
PARAM_VALUE 0 fs->name 6773991873564729344
PARAM_VALUE 0 fs->owner 0
NOCHECK_CALL

fs/ocfs2/dlmfs/dlmfs.c exit_dlmfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 1692328989743681536
NOCHECK_CALL

fs/zonefs/super.c zonefs_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 2457098604243619840
NOCHECK_CALL

fs/efivarfs/super.c efivarfs_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 8191363915094401024
NOCHECK_CALL

fs/configfs/mount.c configfs_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 338713479360016384
NOCHECK_CALL

fs/qnx4/inode.c exit_qnx4_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 6590197747267141632
NOCHECK_CALL

fs/vboxsf/super.c vboxsf_fini() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 6073711752368881664
NOCHECK_CALL

fs/udf/super.c exit_udf_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 3629898674214875136
NOCHECK_CALL

fs/hpfs/super.c exit_hpfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 1985043359865872384
NOCHECK_CALL

fs/fat/namei_vfat.c exit_vfat_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 5712413481116426240
NOCHECK_CALL

fs/fat/namei_msdos.c exit_msdos_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 5160484544766029824
NOCHECK_CALL

fs/hugetlbfs/inode.c init_hugetlbfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 3759428192965361664
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
PARAM_VALUE 0 fs->parameters 3096698151645188096

fs/btrfs/super.c unregister_btrfs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 3653651298540929024
NOCHECK_CALL

drivers/base/devtmpfs.c devtmpfs_init() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 7661732148223672320
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
NOCHECK_CALL

fs/romfs/super.c exit_romfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 5358459559780466688
NOCHECK_CALL

fs/fuse/control.c fuse_ctl_cleanup() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 6933849509274120192
NOCHECK_CALL

fs/f2fs/super.c exit_f2fs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 3996209810580860928
NOCHECK_CALL

fs/fuse/inode.c fuse_fs_cleanup() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4865976045000396800
NOCHECK_CALL

fs/fuse/inode.c fuse_fs_init() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4865976045000396800
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
PARAM_VALUE 0 fs->parameters 3806404379293741056
NOCHECK_CALL

fs/fuse/inode.c unregister_fuseblk() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 2510348585044262912
NOCHECK_CALL

drivers/usb/gadget/function/f_fs.c functionfs_cleanup() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 9003515076617842688
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ffs_lock
HALF_LOCKED2 &subsys->su_mutex

fs/xfs/xfs_super.c exit_xfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 5745994435204485120
NOCHECK_CALL

fs/qnx6/inode.c exit_qnx6_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 942114777206296576
NOCHECK_CALL

fs/ceph/super.c exit_ceph() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 4009164665717772288
NOCHECK_CALL

fs/9p/v9fs.c exit_v9fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 2471533904757059584
NOCHECK_CALL

fs/ubifs/super.c ubifs_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 1262237779779960832
NOCHECK_CALL

fs/binfmt_misc.c exit_misc_binfmt() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 2398368325060030464
NOCHECK_CALL

fs/smb/client/cifsfs.c exit_cifs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 8565131839578857472
NOCHECK_CALL

fs/smb/client/cifsfs.c exit_cifs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 8129658459078066176
NOCHECK_CALL

fs/smb/client/cifsfs.c init_cifs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 8565131839578857472
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
PARAM_VALUE 0 fs->parameters 240097496914014208
NOCHECK_CALL

drivers/xen/xenfs/super.c xenfs_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 775093813595611136
NOCHECK_CALL

fs/omfs/inode.c exit_omfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 2360558507363500032
NOCHECK_CALL

fs/orangefs/orangefs-mod.c orangefs_exit() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 2630851674345947136
NOCHECK_CALL

ipc/mqueue.c init_mqueue_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 7741582843043201024
PARAM_VALUE 0 fs->list.pprev 4096-ptr_max
NOCHECK_CALL

fs/squashfs/super.c exit_squashfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 8869066956248801280
NOCHECK_CALL

fs/ext4/super.c ext4_exit_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 7733818595124187136
NOCHECK_CALL

fs/ext4/super.c unregister_as_ext3() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 5195142283523387392
NOCHECK_CALL

fs/ntfs3/super.c exit_ntfs_fs() -> unregister_filesystem()

Type Parameter Key Value
PARAM_VALUE 0 fs 2828066874789519360
NOCHECK_CALL