Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->attr_version.counter 1
PARAM_VALUE 0 fc->backing_files_map.idr_base 0
PARAM_VALUE 0 fc->backing_files_map.idr_rt.xa_flags 33554436
PARAM_VALUE 0 fc->backing_files_map.idr_rt.xa_head 0
PARAM_VALUE 0 fc->chan 4096-ptr_max
PARAM_VALUE 0 fc->congestion_threshold 9
PARAM_VALUE 0 fc->count.refs.counter 1
PARAM_VALUE 0 fc->curr_bucket 0
PARAM_VALUE 0 fc->dax 0
PARAM_VALUE 0 fc->dax_mode 0
PARAM_VALUE 0 fc->destroy 0
PARAM_VALUE 0 fc->dev 0
PARAM_VALUE 0 fc->entry.next 4096-ptr_max
PARAM_VALUE 0 fc->entry.prev 4096-ptr_max
PARAM_VALUE 0 fc->epoch.counter 1
PARAM_VALUE 0 fc->evict_ctr.counter 1
PARAM_VALUE 0 fc->killsb.magic 4096-ptr_max
PARAM_VALUE 0 fc->max_pages 32
PARAM_VALUE 0 fc->max_pages_limit 256
PARAM_VALUE 0 fc->max_read 0
PARAM_VALUE 0 fc->minor 0
PARAM_VALUE 0 fc->mounts.next 4096-ptr_max
PARAM_VALUE 0 fc->mounts.prev 4096-ptr_max
PARAM_VALUE 0 fc->name_max 1024
PARAM_VALUE 0 fc->no_bmap 0
PARAM_VALUE 0 fc->no_flock 0
PARAM_VALUE 0 fc->no_flush 0
PARAM_VALUE 0 fc->no_fsync 0
PARAM_VALUE 0 fc->no_link 0
PARAM_VALUE 0 fc->no_lock 0
PARAM_VALUE 0 fc->no_lseek 0
PARAM_VALUE 0 fc->no_open 0
PARAM_VALUE 0 fc->no_poll 0
PARAM_VALUE 0 fc->no_statx 0
PARAM_VALUE 0 fc->rcu.func 0
PARAM_VALUE 0 fc->rcu.next 0
PARAM_VALUE 0 fc->release 2772685091860996096
PARAM_VALUE 0 fc->sync_fs 0
MEM_ZERO 0 fc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fuse/cuse.c cuse_open() -> fuse_conn_put()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fuse/cuse.c cuse_release() -> fuse_conn_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fuse/control.c fuse_conn_abort_write() -> fuse_conn_put()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->chan 4096-ptr_max
PARAM_VALUE 0 fc->chan->abort_with_err 0-1
PARAM_VALUE 0 fc->chan->active_background 0-4294967295
PARAM_VALUE 0 fc->chan->bg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fc->chan->blocked 0
PARAM_VALUE 0 fc->chan->conn->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fc->chan->connected 0
PARAM_VALUE 0 fc->chan->initialized 1
PARAM_VALUE 0 fc->chan->iq.connected 0
PARAM_VALUE 0 fc->chan->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fc->chan->max_background 4294967295
PARAM_VALUE 0 fc->chan->ring->async_teardown_work.cpu s32min-s32max
PARAM_VALUE 0 fc->chan->ring->async_teardown_work.timer.flags 0-4294967295
BUF_SIZE 0 fc s32min-(-2),1-s32max
BUF_SIZE 0 fc s32min-(-2),1-s32max
DATA_SOURCE 0 fc r fuse_ctl_file_conn_get
NOCHECK_CALL

fs/fuse/control.c fuse_conn_congestion_threshold_read() -> fuse_conn_put()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
BUF_SIZE 0 fc s32min-(-2),1-s32max
BUF_SIZE 0 fc s32min-(-2),1-s32max
DATA_SOURCE 0 fc r fuse_ctl_file_conn_get
NOCHECK_CALL

fs/fuse/control.c fuse_conn_congestion_threshold_write() -> fuse_conn_put()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->congestion_threshold 0-u16max
BUF_SIZE 0 fc s32min-(-2),1-s32max
BUF_SIZE 0 fc s32min-(-2),1-s32max
DATA_SOURCE 0 fc r fuse_ctl_file_conn_get
NOCHECK_CALL
USER_DATA 0 fc->congestion_threshold 0-u16max[c]

fs/fuse/control.c fuse_conn_max_background_read() -> fuse_conn_put()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->chan 4096-ptr_max
BUF_SIZE 0 fc s32min-(-2),1-s32max
BUF_SIZE 0 fc s32min-(-2),1-s32max
DATA_SOURCE 0 fc r fuse_ctl_file_conn_get
NOCHECK_CALL

fs/fuse/control.c fuse_conn_max_background_write() -> fuse_conn_put()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->chan 4096-ptr_max
PARAM_VALUE 0 fc->chan->bg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fc->chan->blocked 0-1
PARAM_VALUE 0 fc->chan->max_background 0-u16max
BUF_SIZE 0 fc s32min-(-2),1-s32max
BUF_SIZE 0 fc s32min-(-2),1-s32max
DATA_SOURCE 0 fc r fuse_ctl_file_conn_get
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 fc->chan->max_background

fs/fuse/control.c fuse_conn_waiting_read() -> fuse_conn_put()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->chan 4096-ptr_max
BUF_SIZE 0 fc s32min-(-2),1-s32max
BUF_SIZE 0 fc s32min-(-2),1-s32max
DATA_SOURCE 0 fc r fuse_ctl_file_conn_get
NOCHECK_CALL

fs/fuse/dev_uring.c fuse_uring_async_stop_queues() -> fuse_conn_put()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 fc->killsb.first_waiter->handoff_set 0-1
PARAM_VALUE 0 fc->killsb.first_waiter->type 0-1
BUF_SIZE 0 fc s32min-(-1),1-s32max
BUF_SIZE 0 fc s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL