Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

io_uring/kbuf.c __io_put_kbuf_ring() -> io_kbuf_commit()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->flags 131072-u64max
PARAM_VALUE 1 bl 1-u64max
DATA_SOURCE 0 req $0
DATA_SOURCE 1 bl $1
DATA_SOURCE 2 len $2
DATA_SOURCE 3 nr $3
BIT_INFO 0 req->flags 0x20000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 req->cqe.res 0-1000000000
USER_DATA 0 req->ctx->submit_state.need_plug 0-1
USER_DATA 0 req->ctx->submit_state.submit_nr 1-u16max[c]
NO_OVERFLOW_SIMPLE 2 len
UNITS 2 len unit_byte

io_uring/kbuf.c io_buffers_select() -> io_kbuf_commit()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->flags 0,4-u64max
PARAM_VALUE 1 bl 4096-ptr_max
PARAM_VALUE 1 bl->buf_ring 4096-ptr_max
PARAM_VALUE 1 bl->flags 1-u16max
PARAM_VALUE 3 nr 1-s32max
DATA_SOURCE 0 req $0
DATA_SOURCE 1 bl r io_buffer_get_list
DATA_SOURCE 3 nr r io_ring_buffers_peek
BIT_INFO 0 req->flags 0xc00000000,0xffffffffffffffff
BIT_INFO 1 bl->flags 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 req->ctx->submit_state.need_plug 0-1
USER_DATA 0 req->ctx->submit_state.submit_nr 1-u16max[c]
NO_OVERFLOW_SIMPLE 2 len

io_uring/kbuf.c io_ring_buffer_select() -> io_kbuf_commit()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->flags 0,131072-u64max
PARAM_VALUE 1 bl 4096-ptr_max
PARAM_VALUE 1 bl->flags 1-u16max
PARAM_VALUE 3 nr 1
BUF_SIZE 0 req->ctx s32min-(-1),1-s32max
CAPPED_DATA 2 len 1
DATA_SOURCE 0 req $0
DATA_SOURCE 1 bl $2
BIT_INFO 0 req->flags 0x800020000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 req->ctx->submit_state.need_plug 0-1
USER_DATA 0 req->ctx->submit_state.submit_nr 1-u16max[c]
NO_OVERFLOW_SIMPLE 2 len
UNITS 2 len unit_byte

io_uring/net.c io_net_kbuf_recyle() -> io_kbuf_commit()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->flags 34359738368-u64max
PARAM_VALUE 2 len 1-999999999
CAPPED_DATA 2 len 1
DATA_SOURCE 0 req $0
DATA_SOURCE 1 bl $1
DATA_SOURCE 2 len $3
BIT_INFO 0 req->flags 0xc00000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 req->ctx->submit_state.need_plug 0-1
USER_DATA 0 req->ctx->submit_state.submit_nr 1-u16max[c]
UNITS 2 len unit_byte