Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->completed_events 0
PARAM_VALUE 0 ctx->completion_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ctx->reqs.percpu_count_ptr 1-u64max
PARAM_VALUE 0 ctx->users.percpu_count_ptr 1-u64max
PARAM_VALUE 1 iocb 6460589087752130560
PARAM_VALUE 1 iocb->aio_nbytes 0-9223372036854775807
PARAM_VALUE 1 iocb->aio_reserved2 0
PARAM_VALUE 3 req 4096-ptr_max
PARAM_VALUE 3 req->ki_ctx 4096-ptr_max
PARAM_VALUE 3 req->ki_ctx->reqs.percpu_count_ptr 1-u64max
PARAM_VALUE 3 req->ki_ctx->users.percpu_count_ptr 1-u64max
PARAM_VALUE 3 req->ki_eventfd 0
PARAM_VALUE 3 req->ki_refcnt.refs.counter 2
DATA_SOURCE 0 ctx $0
DATA_SOURCE 2 user_iocb $1
DATA_SOURCE 3 req r aio_get_req
DATA_SOURCE 4 compat $2
NOSPEC 1 iocb->aio_nbytes
USER_DATA 1 iocb->aio_buf 0-u64max
USER_DATA 1 iocb->aio_data 0-u64max
USER_DATA 1 iocb->aio_fildes 0-u32max
USER_DATA 1 iocb->aio_flags 0-u32max
USER_DATA 1 iocb->aio_key 0-u32max
USER_DATA 1 iocb->aio_lio_opcode 0-u16max
USER_DATA 1 iocb->aio_nbytes 0-9223372036854775807
USER_DATA 1 iocb->aio_offset s64min-s64max
USER_DATA 1 iocb->aio_reqprio s16min-s16max
USER_DATA 1 iocb->aio_reserved2 0
USER_DATA 1 iocb->aio_resfd 0-u32max
USER_DATA 1 iocb->aio_rw_flags s32min-s32max