Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/dev_uring.c fuse_uring_commit() -> fuse_uring_req_end()

Type Parameter Key Value
PARAM_VALUE 0 ent 4096-ptr_max
PARAM_VALUE 0 ent->cmd 4096-ptr_max
PARAM_VALUE 0 ent->cmd->file 4096-ptr_max
PARAM_VALUE 0 ent->cmd->sqe 4096-ptr_max
PARAM_VALUE 0 ent->list.next 4096-ptr_max
PARAM_VALUE 0 ent->list.next->prev 4096-ptr_max
PARAM_VALUE 0 ent->list.prev 4096-ptr_max
PARAM_VALUE 0 ent->list.prev->next 4096-ptr_max
PARAM_VALUE 0 ent->queue 4096-ptr_max
PARAM_VALUE 0 ent->queue->ent_commit_queue.next->next 4096-ptr_max
PARAM_VALUE 0 ent->queue->ent_commit_queue.next->prev 4096-ptr_max
PARAM_VALUE 0 ent->state 1
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->list.next->prev 4096-ptr_max
PARAM_VALUE 1 req->list.prev->next 4096-ptr_max
PARAM_VALUE 1 req->ring_entry 0
CAPPED_DATA 1 req->in.h.unique 1
CAPPED_DATA 2 error 1
DATA_SOURCE 0 ent $0
DATA_SOURCE 1 req $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 req->out.h s64min-s64max
USER_DATA 1 req->out.h.error s32min-s32max
USER_DATA 1 req->out.h.len 0-u32max
USER_DATA 1 req->out.h.unique 0-u64max
USER_DATA 2 error (-511)-(-1)[c]
HALF_LOCKED2 &ctx->uring_lock

fs/fuse/dev_uring.c fuse_uring_commit_fetch() -> fuse_uring_req_end()

Type Parameter Key Value
PARAM_VALUE 0 ent 4096-ptr_max
PARAM_VALUE 0 ent->state 0-3,5-u32max
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->list.next->prev 4096-ptr_max
PARAM_VALUE 1 req->list.prev->next 4096-ptr_max
PARAM_VALUE 1 req->ring_entry 0
PARAM_VALUE 2 error (-5)
CAPPED_DATA 1 req->in.h.unique 1
DATA_SOURCE 1 req r fuse_request_find
DATA_SOURCE 2 error r fuse_ring_ent_set_commit
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock

fs/fuse/dev_uring.c fuse_uring_prepare_send() -> fuse_uring_req_end()

Type Parameter Key Value
PARAM_VALUE 0 ent 4096-ptr_max
PARAM_VALUE 0 ent->queue 4096-ptr_max
PARAM_VALUE 0 ent->queue->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ent->state 0
PARAM_VALUE 2 error s32min-(-1)
CAPPED_DATA 2 error 1
DATA_SOURCE 0 ent $0
DATA_SOURCE 1 req $1
DATA_SOURCE 2 error r fuse_uring_copy_to_ring
BIT_INFO 2 error 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 &req->in.h
HALF_LOCKED2 &ctx->uring_lock

fs/fuse/dev_uring.c fuse_uring_send_in_task() -> fuse_uring_req_end()

Type Parameter Key Value
PARAM_VALUE 0 ent 4096-ptr_max
PARAM_VALUE 0 ent->list.next->prev 4096-ptr_max
PARAM_VALUE 0 ent->list.prev->next 4096-ptr_max
PARAM_VALUE 0 ent->queue 4096-ptr_max
PARAM_VALUE 0 ent->queue->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 error (-125)
DATA_SOURCE 0 ent r uring_cmd_to_ring_ent
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock