Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/virtio_fs.c virtio_fs_conn_destroy() -> virtio_fs_free_devs()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
PARAM_VALUE 0 fs->nvqs 0-s32max
PARAM_VALUE 0 fs->vqs 4096-ptr_max
CAPPED_DATA 0 fs->nvqs 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &cifs_mount_mutex

fs/fuse/virtio_fs.c virtio_fs_fill_super() -> virtio_fs_free_devs()

Type Parameter Key Value
PARAM_VALUE 0 fs 4096-ptr_max
CAPPED_DATA 0 fs->nvqs 1
CAPPED_DATA 0 &fs->list 1
PARAM_COMPARE 0 &fs->list != $0->list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &virtio_fs_mutex
HALF_LOCKED2 &fsc->uapi_mutex