Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/fuse/dev.c fuse_dev_release() -> fuse_dev_put()

Type Parameter Key Value
BUF_SIZE 0 fud (-1),26
BUF_SIZE 0 fud (-1),26
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 fud 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &virtio_fs_mutex

fs/fuse/cuse.c cuse_channel_open() -> fuse_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 fud 4096-ptr_max
PARAM_VALUE 0 fud->entry.next 4096-ptr_max
PARAM_VALUE 0 fud->pq.connected 1
PARAM_VALUE 0 fud->pq.io.next 4096-ptr_max
PARAM_VALUE 0 fud->pq.io.next->next 4096-ptr_max
PARAM_VALUE 0 fud->pq.io.prev 4096-ptr_max
PARAM_VALUE 0 fud->pq.io.prev->next 4096-ptr_max
PARAM_VALUE 0 fud->pq.io.prev->prev 4096-ptr_max
PARAM_VALUE 0 fud->ref.refs.counter 1
BUF_SIZE 0 fud 136
DATA_SOURCE 0 fud r fuse_dev_alloc_install
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fuse/inode.c fuse_free_fsc() -> fuse_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 fud 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL