Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 iocb 6460589087752130560
PARAM_VALUE 1 iocb->aio_lio_opcode 1
PARAM_VALUE 1 iocb->aio_nbytes 0-9223372036854775807
PARAM_VALUE 1 iocb->aio_reserved2 0
PARAM_VALUE 2 vectored 0
DATA_SOURCE 1 iocb $1
DATA_SOURCE 3 compat $4
BIT_INFO 1 iocb->aio_flags 0x0,0xffffffff
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 1
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

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 iocb 6460589087752130560
PARAM_VALUE 1 iocb->aio_lio_opcode 8
PARAM_VALUE 1 iocb->aio_nbytes 0-9223372036854775807
PARAM_VALUE 1 iocb->aio_reserved2 0
PARAM_VALUE 2 vectored 1
DATA_SOURCE 1 iocb $1
DATA_SOURCE 3 compat $4
BIT_INFO 1 iocb->aio_flags 0x0,0xffffffff
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 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 s32min-s32max