Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->users.percpu_count_ptr 1-u64max
PARAM_VALUE 1 user_iocb 0-u32max
PARAM_VALUE 2 compat 1
DATA_SOURCE 0 ctx r lookup_ioctx

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->users.percpu_count_ptr 1-u64max
PARAM_VALUE 1 user_iocb 0-u32max
PARAM_VALUE 2 compat 1
DATA_SOURCE 0 ctx r lookup_ioctx

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->users.percpu_count_ptr 1-u64max
PARAM_VALUE 2 compat 0
DATA_SOURCE 0 ctx r lookup_ioctx

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->users.percpu_count_ptr 1-u64max
PARAM_VALUE 2 compat 0
DATA_SOURCE 0 ctx r lookup_ioctx