Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/inode.c fuse_conn_destroy() -> fuse_chan_wait_aborted()

Type Parameter Key Value
PARAM_VALUE 0 fch 4096-ptr_max
PARAM_VALUE 0 fch->abort_with_err 0
PARAM_VALUE 0 fch->active_background 0-4294967295
PARAM_VALUE 0 fch->bg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fch->blocked 0
PARAM_VALUE 0 fch->conn->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fch->connected 0
PARAM_VALUE 0 fch->initialized 1
PARAM_VALUE 0 fch->iq.connected 0
PARAM_VALUE 0 fch->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fch->max_background 4294967295
PARAM_VALUE 0 fch->ring->async_teardown_work.cpu s32min-s32max
PARAM_VALUE 0 fch->ring->async_teardown_work.timer.flags 0-4294967295
PARAM_VALUE 0 fch->ring->chan->bg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fch->ring->chan->conn->count.refs.counter s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &cifs_mount_mutex