Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
BUF_SIZE 0 iocb->ki_eventfd s32min-(-1),1-s32max
CAPPED_DATA 0 iocb 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