Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
io_uring/net.c io_msg_copy_hdr() -> __copy_msghdr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 4855515149667258368,8760747627640086528 |
| PARAM_VALUE | 1 | msg->msg_flags | 0 |
| DATA_SOURCE | 1 | msg | $2 |
| DATA_SOURCE | 2 | save_addr | $4 |
| LOCK2 | &ctx->uring_lock | ||
| HALF_LOCKED2 | &sqd->lock | ||
| TYPE_LOCK | (struct io_ring_ctx)->uring_lock |
net/socket.c copy_msghdr_from_user() -> __copy_msghdr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kmsg | 3857169792411197440,6646178110764380160,7067155996934815744,7296525252567363584 |
| PARAM_VALUE | 1 | msg | 8784961102545530880 |
| PARAM_VALUE | 2 | save_addr | 0,1891172664053686272 |
| BUF_SIZE | 0 | kmsg->msg_name | (-1),128 |
| DATA_SOURCE | 0 | kmsg | $0 |
| DATA_SOURCE | 2 | save_addr | $2 |
| USER_DATA | 0 | kmsg->msg_flags | 0-u32max[c] |
| USER_DATA | 1 | msg->msg_controllen | 0-u64max |
| USER_DATA | 1 | msg->msg_flags | 0-u32max |
| USER_DATA | 1 | msg->msg_iovlen | 0-u64max |
| USER_DATA | 1 | msg->msg_namelen | s32min-s32max |
| USER_PTR | 0 | kmsg->msg_name |