Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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->blocked_waitq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fch->conn 4096-ptr_max
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->iq.forget_list_head.next 0
PARAM_VALUE 0 fch->iq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fch->iq.pending.prev->next 4096-ptr_max
PARAM_VALUE 0 fch->iq.pending.prev->next->next 4096-ptr_max
PARAM_VALUE 0 fch->iq.waitq.lock.rlock.dep_map->name 0-255
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fch unit_byte
HALF_LOCKED2 &of->mutex