Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/aio.c aio_read() -> aio_setup_rw()

Type Parameter Key Value
PARAM_VALUE 0 rw 0
PARAM_VALUE 1 iocb 6460589087752130560
PARAM_VALUE 1 iocb->aio_lio_opcode 0,7
PARAM_VALUE 1 iocb->aio_nbytes 0-9223372036854775807
PARAM_VALUE 1 iocb->aio_reserved2 0
PARAM_VALUE 1 iocb->aio_rw_flags 0-510
PARAM_VALUE 2 iovec 1164265068786954240
PARAM_VALUE 2 *iovec 898498670271823872
PARAM_VALUE 5 iter 180102883164901376
DATA_SOURCE 1 iocb $1
DATA_SOURCE 3 vectored $2
DATA_SOURCE 4 compat $3
BIT_INFO 1 iocb->aio_flags 0x0,0xffffffff
NOSPEC 1 iocb->aio_nbytes
HARD_MAX 1 iocb->aio_lio_opcode 7
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,7
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 0-510

fs/aio.c aio_write() -> aio_setup_rw()

Type Parameter Key Value
PARAM_VALUE 0 rw 1
PARAM_VALUE 1 iocb 6460589087752130560
PARAM_VALUE 1 iocb->aio_lio_opcode 1,8
PARAM_VALUE 1 iocb->aio_nbytes 0-9223372036854775807
PARAM_VALUE 1 iocb->aio_reserved2 0
PARAM_VALUE 1 iocb->aio_rw_flags 0-510
PARAM_VALUE 2 iovec 5956573882323169280
PARAM_VALUE 2 *iovec 2739446639147237376
PARAM_VALUE 5 iter 7965983928270811136
DATA_SOURCE 1 iocb $1
DATA_SOURCE 3 vectored $2
DATA_SOURCE 4 compat $3
BIT_INFO 1 iocb->aio_flags 0x0,0xffffffff
NOSPEC 1 iocb->aio_nbytes
HARD_MAX 1 iocb->aio_lio_opcode 8
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 1,8
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 0-510