Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
io_uring/msg_ring.c __io_msg_ring_data() -> io_lock_external_ctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | octx | 4096-ptr_max |
| PARAM_VALUE | 1 | issue_flags | 2,10,2147483649,2147483653,2147483658,2147483665 |
| BUF_SIZE | 0 | octx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | octx | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | octx | $0 |
| DATA_SOURCE | 1 | issue_flags | $2 |
| FUZZY_MAX | 1 | issue_flags | 2147483665 |
| BIT_INFO | 0 | octx->flags | 0x1,0xffffffff |
| BIT_INFO | 1 | issue_flags | 0x0,0x8000001f |
| RX_PATH | |||
| TASK_NOT_RUNNING |
io_uring/msg_ring.c io_msg_install_complete() -> io_lock_external_ctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | issue_flags | 2,10,2147483649,2147483653,2147483658,2147483665 |
| BUF_SIZE | 0 | octx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | octx | s32min-(-2),1-s32max |
| DATA_SOURCE | 1 | issue_flags | $1 |
| FUZZY_MAX | 1 | issue_flags | 2147483665 |
| BIT_INFO | 1 | issue_flags | 0x0,0x8000001f |
| RX_PATH | |||
| TASK_NOT_RUNNING |