Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/fuse/virtio_fs.c virtio_fs_get_tree() -> fuse_mount_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fm 4096-ptr_max
PARAM_VALUE 0 fm->fc 4096-ptr_max
PARAM_VALUE 0 fm->fc->attr_version.counter 1
PARAM_VALUE 0 fm->fc->backing_files_map.idr_base 0
PARAM_VALUE 0 fm->fc->backing_files_map.idr_next 0
PARAM_VALUE 0 fm->fc->backing_files_map.idr_rt.xa_flags 33554436
PARAM_VALUE 0 fm->fc->backing_files_map.idr_rt.xa_head 0
PARAM_VALUE 0 fm->fc->congestion_threshold 9
PARAM_VALUE 0 fm->fc->count.refs.counter 1
PARAM_VALUE 0 fm->fc->entry.next 4096-ptr_max
PARAM_VALUE 0 fm->fc->entry.prev 4096-ptr_max
PARAM_VALUE 0 fm->fc->epoch.counter 1
PARAM_VALUE 0 fm->fc->evict_ctr.counter 1
PARAM_VALUE 0 fm->fc->khctr.counter 0
PARAM_VALUE 0 fm->fc->killsb.count.counter 0
PARAM_VALUE 0 fm->fc->killsb.first_waiter 0
PARAM_VALUE 0 fm->fc->killsb.magic 4096-ptr_max
PARAM_VALUE 0 fm->fc->killsb.osq.tail.counter 0
PARAM_VALUE 0 fm->fc->killsb.owner.counter 0
PARAM_VALUE 0 fm->fc->max_pages 32
PARAM_VALUE 0 fm->fc->max_pages_limit 256
PARAM_VALUE 0 fm->fc->mounts.next 4096-ptr_max
PARAM_VALUE 0 fm->fc->mounts.prev 4096-ptr_max
PARAM_VALUE 0 fm->fc->name_max 1024
PARAM_VALUE 0 fm->fc_entry.next 4096-ptr_max
PARAM_VALUE 0 fm->fc_entry.prev 4096-ptr_max
BUF_SIZE 0 fm 48
DATA_SOURCE 0 fm r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fsc->uapi_mutex

fs/fuse/virtio_fs.c virtio_kill_sb() -> fuse_mount_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fm->fc->killsb.first_waiter->handoff_set 0-1
PARAM_VALUE 0 fm->fc->killsb.first_waiter->type 0-1
BUF_SIZE 0 fm (-1),4608
BUF_SIZE 0 fm (-1),4608
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fm unit_byte
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex

fs/fuse/inode.c fuse_get_tree() -> fuse_mount_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fm 4096-ptr_max
PARAM_VALUE 0 fm->fc 4096-ptr_max
PARAM_VALUE 0 fm->fc->attr_version.counter 1
PARAM_VALUE 0 fm->fc->backing_files_map.idr_base 0
PARAM_VALUE 0 fm->fc->backing_files_map.idr_next 0
PARAM_VALUE 0 fm->fc->backing_files_map.idr_rt.xa_flags 33554436
PARAM_VALUE 0 fm->fc->backing_files_map.idr_rt.xa_head 0
PARAM_VALUE 0 fm->fc->congestion_threshold 9
PARAM_VALUE 0 fm->fc->count.refs.counter 1
PARAM_VALUE 0 fm->fc->entry.next 4096-ptr_max
PARAM_VALUE 0 fm->fc->entry.prev 4096-ptr_max
PARAM_VALUE 0 fm->fc->epoch.counter 1
PARAM_VALUE 0 fm->fc->evict_ctr.counter 1
PARAM_VALUE 0 fm->fc->khctr.counter 0
PARAM_VALUE 0 fm->fc->killsb.count.counter 0
PARAM_VALUE 0 fm->fc->killsb.first_waiter 0
PARAM_VALUE 0 fm->fc->killsb.magic 4096-ptr_max
PARAM_VALUE 0 fm->fc->killsb.osq.tail.counter 0
PARAM_VALUE 0 fm->fc->killsb.owner.counter 0
PARAM_VALUE 0 fm->fc->max_pages 32
PARAM_VALUE 0 fm->fc->max_pages_limit 256
PARAM_VALUE 0 fm->fc->mounts.next 4096-ptr_max
PARAM_VALUE 0 fm->fc->mounts.prev 4096-ptr_max
PARAM_VALUE 0 fm->fc->name_max 1024
PARAM_VALUE 0 fm->fc_entry.next 4096-ptr_max
PARAM_VALUE 0 fm->fc_entry.prev 4096-ptr_max
BUF_SIZE 0 fm 48
DATA_SOURCE 0 fm r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fsc->uapi_mutex

fs/fuse/inode.c fuse_get_tree_submount() -> fuse_mount_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fm 4096-ptr_max
PARAM_VALUE 0 fm->fc 4096-ptr_max
BUF_SIZE 0 fm 48
BUF_SIZE 0 fm->fc s32min-(-1),1-s32max
DATA_SOURCE 0 fm r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fsc->uapi_mutex

fs/fuse/inode.c fuse_kill_sb_anon() -> fuse_mount_destroy()

Type Parameter Key Value
BUF_SIZE 0 fm (-1),4608
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex

fs/fuse/inode.c fuse_kill_sb_blk() -> fuse_mount_destroy()

Type Parameter Key Value
BUF_SIZE 0 fm (-1),4608
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex