Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/dev.c fuse_request_queue_background_uring() -> fuse_uring_queue_bq_req()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->args 4096-ptr_max
PARAM_VALUE 0 req->args->pid 0-s32max
PARAM_VALUE 0 req->chan 4096-ptr_max
PARAM_VALUE 0 req->chan->iq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 req->chan->ring 1-u64max
PARAM_VALUE 0 req->chan->ring->ready 1
PARAM_VALUE 0 req->chan->timeout.req_timeout 0,3750
PARAM_VALUE 0 req->count.refs.counter 1
PARAM_VALUE 0 req->in.h.pid 0-s32max
PARAM_VALUE 0 req->intr_entry.next 4096-ptr_max
PARAM_VALUE 0 req->intr_entry.next->next 4096-ptr_max
PARAM_VALUE 0 req->intr_entry.prev 4096-ptr_max
PARAM_VALUE 0 req->intr_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 req->intr_entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->list.next 1-u64max
PARAM_VALUE 0 req->list.next->next 1-u64max
PARAM_VALUE 0 req->list.prev 1-u64max
PARAM_VALUE 0 req->list.prev->next 1-u64max
PARAM_VALUE 0 req->list.prev->prev 1-u64max
PARAM_VALUE 0 req->waitq.head.next 4096-ptr_max
PARAM_VALUE 0 req->waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 req->waitq.head.prev 4096-ptr_max
PARAM_VALUE 0 req->waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 req->waitq.head.prev->prev 4096-ptr_max
CAPPED_DATA 0 req->args->in_numargs 1
DATA_SOURCE 0 req $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fi->lock