Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/dev.c fuse_chan_abort() -> flush_bg_queue()

Type Parameter Key Value
PARAM_VALUE 0 fch 4096-ptr_max
PARAM_VALUE 0 fch->bg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fch->blocked 0
PARAM_VALUE 0 fch->connected 0
PARAM_VALUE 0 fch->initialized 1
PARAM_VALUE 0 fch->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fch->max_background u32max
CAPPED_DATA 0 &fch->devices 1
DATA_SOURCE 0 fch $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fch unit_byte
LOCK2 0 &fch->bg_lock
LOCK2 0 &fch->lock
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct fuse_chan)->bg_lock
TYPE_LOCK (struct fuse_chan)->lock

fs/fuse/dev.c fuse_request_end() -> flush_bg_queue()

Type Parameter Key Value
PARAM_VALUE 0 fch 4096-ptr_max
PARAM_VALUE 0 fch->bg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fch->blocked 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fch unit_byte
LOCK2 0 &fch->bg_lock
TYPE_LOCK (struct fuse_chan)->bg_lock

fs/fuse/dev.c fuse_request_queue_background() -> flush_bg_queue()

Type Parameter Key Value
PARAM_VALUE 0 fch 4096-ptr_max
PARAM_VALUE 0 fch->bg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fch->bg_queue.prev 4096-ptr_max
PARAM_VALUE 0 fch->bg_queue.prev->next 4096-ptr_max
PARAM_VALUE 0 fch->bg_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 fch->connected 1-u32max
PARAM_VALUE 0 fch->ring->ready 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fch unit_byte
LOCK2 0 &fch->bg_lock
HALF_LOCKED2 &fi->lock
TYPE_LOCK (struct fuse_chan)->bg_lock