Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 aiocb 4096-ptr_max
PARAM_VALUE 0 aiocb->ki_ctx 4096-ptr_max
PARAM_VALUE 0 aiocb->ki_ctx->reqs.percpu_count_ptr 1-u64max
PARAM_VALUE 0 aiocb->ki_ctx->users.percpu_count_ptr 1-u64max
PARAM_VALUE 0 aiocb->ki_eventfd 0,4096-ptr_max
PARAM_VALUE 0 aiocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 aiocb->ki_refcnt.refs.counter 2
PARAM_VALUE 0 aiocb->ki_res.res 0
PARAM_VALUE 0 aiocb->ki_res.res2 0
PARAM_VALUE 1 iocb 6460589087752130560
PARAM_VALUE 1 iocb->aio_lio_opcode 5
PARAM_VALUE 1 iocb->aio_nbytes 0-9223372036854775807
PARAM_VALUE 1 iocb->aio_reserved2 0
BUF_SIZE 0 aiocb->ki_eventfd s32min-(-1),1-s32max
CAPPED_DATA 0 aiocb->ki_filp 1
DATA_SOURCE 0 aiocb $3
DATA_SOURCE 1 iocb $1
BIT_INFO 1 iocb->aio_flags 0x0,0xffffffff
NOSPEC 1 iocb->aio_nbytes
USER_DATA 0 aiocb->ki_res.data 0-u64max
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 5
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