Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->ctx->uring_lock.dep_map->name 0-255
PARAM_VALUE 0 req->ctx->uring_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 req->ctx->uring_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 req->ctx->uring_lock.osq.tail.counter 0-s32max
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
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
BIT_INFO 2 bl->flags 0x0,0xfffe
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

io_uring/kbuf.c io_provided_buffers_select() -> io_provided_buffer_select()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->creds->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 req->creds->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 req->creds->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 req->creds->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 req->creds->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 req->creds->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 req->creds->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 req->creds->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 req->ctx->io_ev_fd->last_cq_tail 0-4294967295
PARAM_VALUE 0 req->file 4096-ptr_max
PARAM_VALUE 0 req->file->f_op 4096-ptr_max
PARAM_VALUE 0 req->flags 32-u64max
PARAM_VALUE 0 req->link->ctx->submitter_task->delays->blkio_count 0-4294967295
PARAM_VALUE 0 req->link->ctx->submitter_task->sched_task_group->idle s32min-s32max
PARAM_VALUE 0 req->link->tctx->task->delays->blkio_count 0-4294967295
PARAM_VALUE 0 req->link->tctx->task->sched_task_group->idle s32min-s32max
PARAM_VALUE 1 len 4390074277738483728,8506889170441859080
PARAM_VALUE 1 *len 0-u32max,18446744071562067968-u64max
PARAM_VALUE 2 bl 4096-ptr_max
DATA_SOURCE 0 req $0
DATA_SOURCE 1 len $1
DATA_SOURCE 2 bl $2
BIT_INFO 2 bl->flags 0x0,0xfffe
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