Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/aio.c io_submit_one() -> iocb_destroy()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_ctx->reqs.percpu_count_ptr 1-u64max
PARAM_VALUE 0 iocb->ki_ctx->users.percpu_count_ptr 1-u64max
PARAM_VALUE 0 iocb->ki_filp->f_cred->rcu.func 1-u64max
PARAM_VALUE 0 iocb->ki_filp->f_cred->rcu.next 0
PARAM_VALUE 0 iocb->ki_filp->f_cred->security 0
PARAM_VALUE 0 iocb->ki_filp->f_cred->user->uidhash_node.next 0
PARAM_VALUE 0 iocb->ki_filp->f_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 iocb->ki_filp->f_cred->user->uidhash_node.pprev 0
PARAM_VALUE 0 iocb->ki_filp->f_cred->user_ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_security 0
CAPPED_DATA 0 iocb 1
DATA_SOURCE 0 iocb r aio_get_req
NOCHECK_CALL

fs/aio.c iocb_put() -> iocb_destroy()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_ctx 4096-ptr_max
PARAM_VALUE 0 iocb->ki_ctx->completion_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 iocb->ki_ctx->ring_folios 4096-ptr_max
PARAM_VALUE 0 iocb->ki_ctx->tail 0-4294967294
BUF_SIZE 0 iocb->ki_eventfd s32min-(-1),1-s32max
CAPPED_DATA 0 iocb 1
CAPPED_DATA 0 iocb->ki_ctx->nr_events 1
DATA_SOURCE 0 iocb $0
NOSPEC 0 iocb->ki_res.res
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 iocb->ki_res.res 2-4294967295[c]
USER_DATA 0 iocb->ki_res.data 0-u64max
USER_DATA 0 iocb->ki_res.res s64min-s64max
USER_DATA 0 iocb->poll.events 0,16-u32max[c]
USER_DATA 0 iocb->rw.ki_flags 0,2-2147483646[c][u]
USER_DATA 0 iocb->rw.ki_ioprio 0-u16max
USER_DATA 0 iocb->rw.ki_pos s64min-s64max
HALF_LOCKED2 0 &iocb->ki_ctx->ctx_lock