Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
io_uring/rw.c io_prep_readv_fixed() -> io_rw_prep_reg_vec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 0 | req->async_data | 4096-ptr_max |
| PARAM_VALUE | 0 | req->cancel_seq_set | 0 |
| PARAM_VALUE | 0 | req->cmd.flags | s32min-s32max |
| PARAM_VALUE | 0 | req->cmd.kiocb.ki_complete | 1762706134690463744,4094793246615478272 |
| PARAM_VALUE | 0 | req->cmd.kiocb.ki_flags | 0 |
| PARAM_VALUE | 0 | req->cmd.kiocb.ki_ioprio | 0-u16max |
| PARAM_VALUE | 0 | req->cmd.kiocb.ki_write_stream | 0-255 |
| PARAM_VALUE | 0 | req->cmd.len | 0-4294967295 |
| PARAM_VALUE | 0 | req->ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | req->ctx->submit_state.link.head | 0,4096-ptr_max |
| PARAM_VALUE | 0 | req->ctx->submit_state.submit_nr | 1-u16max |
| PARAM_VALUE | 0 | req->ctx->uring_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | req->ctx->uring_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | req->ctx->uring_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | req->ctx->uring_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | req->file | 0 |
| PARAM_VALUE | 0 | req->flags | 4194304-4194464,4202496-4202656,4718592-4718752,4726784-4726944,274882101248-274882101408,274882109440-274882109600,274882625536-274882625696,274882633728-274882633888 |
| PARAM_VALUE | 0 | req->opcode | 0-64 |
| BUF_SIZE | 0 | req->ctx | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | req->opcode | 1 |
| DATA_SOURCE | 0 | req | $0 |
| USER_DATA | 0 | req->async_data->meta.app_tag | 0-u16max |
| USER_DATA | 0 | req->async_data->meta.flags | 0-u16max |
| USER_DATA | 0 | req->async_data->meta.seed | s64min-s64max |
| USER_DATA | 0 | req->async_data->meta_state.seed | 0-4294967295 |
| USER_DATA | 0 | req->ctx->submit_state.need_plug | 0-1 |
| USER_DATA | 0 | req->ctx->submit_state.submit_nr | 1-u16max[c] |
| LOCK2 | &ctx->uring_lock | ||
| HALF_LOCKED2 | &sqd->lock | ||
| TYPE_LOCK | (struct io_ring_ctx)->uring_lock |
io_uring/rw.c io_prep_writev_fixed() -> io_rw_prep_reg_vec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 0 | req->async_data | 4096-ptr_max |
| PARAM_VALUE | 0 | req->cancel_seq_set | 0 |
| PARAM_VALUE | 0 | req->cmd.flags | s32min-s32max |
| PARAM_VALUE | 0 | req->cmd.kiocb.ki_complete | 1762706134690463744,4094793246615478272 |
| PARAM_VALUE | 0 | req->cmd.kiocb.ki_flags | 0 |
| PARAM_VALUE | 0 | req->cmd.kiocb.ki_ioprio | 0-u16max |
| PARAM_VALUE | 0 | req->cmd.kiocb.ki_write_stream | 0-255 |
| PARAM_VALUE | 0 | req->cmd.len | 0-4294967295 |
| PARAM_VALUE | 0 | req->ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | req->ctx->submit_state.link.head | 0,4096-ptr_max |
| PARAM_VALUE | 0 | req->ctx->submit_state.submit_nr | 1-u16max |
| PARAM_VALUE | 0 | req->ctx->uring_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | req->ctx->uring_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | req->ctx->uring_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | req->ctx->uring_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | req->file | 0 |
| PARAM_VALUE | 0 | req->flags | 4194304-4194464,4202496-4202656,4718592-4718752,4726784-4726944,274882101248-274882101408,274882109440-274882109600,274882625536-274882625696,274882633728-274882633888 |
| PARAM_VALUE | 0 | req->opcode | 0-64 |
| BUF_SIZE | 0 | req->ctx | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | req->opcode | 1 |
| DATA_SOURCE | 0 | req | $0 |
| USER_DATA | 0 | req->async_data->meta.app_tag | 0-u16max |
| USER_DATA | 0 | req->async_data->meta.flags | 0-u16max |
| USER_DATA | 0 | req->async_data->meta.seed | s64min-s64max |
| USER_DATA | 0 | req->async_data->meta_state.seed | 0-4294967295 |
| USER_DATA | 0 | req->ctx->submit_state.need_plug | 0-1 |
| USER_DATA | 0 | req->ctx->submit_state.submit_nr | 1-u16max[c] |
| LOCK2 | &ctx->uring_lock | ||
| HALF_LOCKED2 | &sqd->lock | ||
| TYPE_LOCK | (struct io_ring_ctx)->uring_lock |