Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->flags 131072-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