Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

io_uring/io_uring.c io_cqe_overflow() -> io_alloc_ocqe()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->int_flags 64-u32max
PARAM_VALUE 1 cqe 4096-ptr_max
PARAM_VALUE 2 big_cqe 0,4096-ptr_max
PARAM_VALUE 3 gfp 3264
BUF_SIZE 0 ctx s32min-(-1),1-s32max
BUF_SIZE 0 ctx s32min-(-1),1-s32max
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 cqe $1
DATA_SOURCE 2 big_cqe $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ctx->submit_state.need_plug 0-1
USER_DATA 0 ctx->submit_state.submit_nr 1-u16max[c]
UNITS 0 ctx unit_byte
HALF_LOCKED2 0 &ctx->uring_lock

io_uring/io_uring.c io_cqe_overflow_locked() -> io_alloc_ocqe()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->completion_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ctx->int_flags 64-u32max
PARAM_VALUE 1 cqe 4096-ptr_max
PARAM_VALUE 2 big_cqe 0,4096-ptr_max
PARAM_VALUE 3 gfp 10240
BUF_SIZE 0 ctx s32min-(-1),1-s32max
BUF_SIZE 0 ctx s32min-(-1),1-s32max
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 cqe $1
DATA_SOURCE 2 big_cqe $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ctx->buf_table.nr 1-16384[c]
USER_DATA 0 ctx->file_table.data.nr 1-1048576[c]
USER_DATA 0 ctx->submit_state.need_plug 0-1
USER_DATA 0 ctx->submit_state.submit_nr 1-u16max[c]
NO_OVERFLOW_SIMPLE 0 ctx->nr_req_allocated
UNITS 0 ctx unit_byte
HALF_LOCKED2 0 &ctx->completion_lock
HALF_LOCKED2 0 &ctx->uring_lock