Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
io_uring/msg_ring.c io_msg_ring_prep() -> __io_msg_ring_prep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | sqe | 4096-ptr_max |
| DATA_SOURCE | 1 | sqe | $1 |
| LOCK2 | &ctx->uring_lock | ||
| HALF_LOCKED2 | &sqd->lock | ||
| TYPE_LOCK | (struct io_ring_ctx)->uring_lock |
io_uring/msg_ring.c io_uring_sync_msg_ring() -> __io_msg_ring_prep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 7358247548869623808 |
| PARAM_VALUE | 0 | msg->cmd | 0 |
| PARAM_VALUE | 0 | msg->cqe_flags | 0 |
| PARAM_VALUE | 0 | msg->dst_fd | 0 |
| PARAM_VALUE | 0 | msg->flags | 0 |
| PARAM_VALUE | 0 | msg->len | 0 |
| PARAM_VALUE | 0 | msg->src_fd | 0 |
| PARAM_VALUE | 0 | msg->src_file | 0 |
| PARAM_VALUE | 0 | msg->user_data | 0 |
| PARAM_VALUE | 1 | sqe | 7078614688429637632 |
| DATA_SOURCE | 1 | sqe | $0 |
| USER_DATA | 1 | sqe->__pad1 | 0-u32max |
| USER_DATA | 1 | sqe->accept_flags | 0-u32max |
| USER_DATA | 1 | sqe->addr | 0-u64max |
| USER_DATA | 1 | sqe->addr2 | 0-u64max |
| USER_DATA | 1 | sqe->addr3 | 0-u64max |
| USER_DATA | 1 | sqe->addr_len | 0-u16max |
| USER_DATA | 1 | sqe->attr_ptr | 0-u64max |
| USER_DATA | 1 | sqe->attr_type_mask | 0-u64max |
| USER_DATA | 1 | sqe->buf_group | 0-u16max |
| USER_DATA | 1 | sqe->buf_index | 0-u16max |
| USER_DATA | 1 | sqe->cancel_flags | 0-u32max |
| USER_DATA | 1 | sqe->cmd_op | 0-u32max |
| USER_DATA | 1 | sqe->fadvise_advice | 0-u32max |
| USER_DATA | 1 | sqe->fd | s32min-s32max |
| USER_DATA | 1 | sqe->file_index | 0-u32max |
| USER_DATA | 1 | sqe->flags | 0 |
| USER_DATA | 1 | sqe->fsync_flags | 0-u32max |
| USER_DATA | 1 | sqe->futex_flags | 0-u32max |
| USER_DATA | 1 | sqe->hardlink_flags | 0-u32max |
| USER_DATA | 1 | sqe->install_fd_flags | 0-u32max |
| USER_DATA | 1 | sqe->ioprio | 0-u16max |
| USER_DATA | 1 | sqe->len | 0-u32max |
| USER_DATA | 1 | sqe->level | 0-u32max |
| USER_DATA | 1 | sqe->msg_flags | 0-u32max |
| USER_DATA | 1 | sqe->msg_ring_flags | 0-u32max |
| USER_DATA | 1 | sqe->nop_flags | 0-u32max |
| USER_DATA | 1 | sqe->off | 0-u64max |
| USER_DATA | 1 | sqe->open_flags | 0-u32max |
| USER_DATA | 1 | sqe->optlen | 0-u32max |
| USER_DATA | 1 | sqe->optname | 0-u32max |
| USER_DATA | 1 | sqe->optval | 0-u64max |
| USER_DATA | 1 | sqe->personality | 0-u16max |
| USER_DATA | 1 | sqe->pipe_flags | 0-u32max |
| USER_DATA | 1 | sqe->poll32_events | 0-u32max |
| USER_DATA | 1 | sqe->poll_events | 0-u16max |
| USER_DATA | 1 | sqe->rename_flags | 0-u32max |
| USER_DATA | 1 | sqe->rw_flags | 0-u32max |
| USER_DATA | 1 | sqe->splice_fd_in | s32min-s32max |
| USER_DATA | 1 | sqe->splice_flags | 0-u32max |
| USER_DATA | 1 | sqe->splice_off_in | 0-u64max |
| USER_DATA | 1 | sqe->statx_flags | 0-u32max |
| USER_DATA | 1 | sqe->sync_range_flags | 0-u32max |
| USER_DATA | 1 | sqe->timeout_flags | 0-u32max |
| USER_DATA | 1 | sqe->unlink_flags | 0-u32max |
| USER_DATA | 1 | sqe->uring_cmd_flags | 0-u32max |
| USER_DATA | 1 | sqe->user_data | 0-u64max |
| USER_DATA | 1 | sqe->waitid_flags | 0-u32max |
| USER_DATA | 1 | sqe->write_stream | 0-255 |
| USER_DATA | 1 | sqe->xattr_flags | 0-u32max |
| USER_DATA | 1 | sqe->zcrx_ifq_idx | 0-u32max |