Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

io_uring/net.c io_recv_buf_select() -> io_buffers_peek()

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->ctx->submitter_task->sched_task_group->parent 0-s64max
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 arg 4390074277738483712
PARAM_VALUE 1 arg->max_len 0-u32max,18446744071562067968-u64max
PARAM_VALUE 1 arg->mode 1,3
PARAM_VALUE 1 arg->out_len 0
PARAM_VALUE 1 arg->partial_map 0
PARAM_VALUE 2 sel 5704336725284020224
PARAM_VALUE 2 sel->addr 0-s32max,18446744071562067968-u64max
PARAM_VALUE 2 sel->buf_list 0
PARAM_VALUE 2 sel->val s32min-s32max
DATA_SOURCE 0 req $0
DATA_SOURCE 2 sel $2
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 arg->max_len
NO_OVERFLOW_SIMPLE 2 sel->val