Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->flags 32-u64max
PARAM_VALUE 1 len 1217151198680571904,1483516779045019648,7137655223370895360,9092735051908743168
PARAM_VALUE 1 *len 0-u32max,18446744071562067968-u64max
PARAM_VALUE 2 bl 4096-ptr_max
PARAM_VALUE 2 bl->flags 1-u16max
PARAM_VALUE 3 issue_flags 0-1,10,266,522,778,1034-2147489553
BUF_SIZE 0 req->ctx s32min-(-1),1-s32max
DATA_SOURCE 0 req $0
DATA_SOURCE 1 len $1
DATA_SOURCE 2 bl r io_buffer_get_list
DATA_SOURCE 3 issue_flags $3
FUZZY_MAX 3 issue_flags 2147483665
BIT_INFO 2 bl->flags 0x1,0xffff
BIT_INFO 3 issue_flags 0x0,0x80001f1f
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 1 *len