Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
io_uring/io_uring.c __do_sys_io_uring_enter() -> io_get_ext_arg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->loop_step | 0 |
| PARAM_VALUE | 1 | flags | 0-254 |
| PARAM_VALUE | 3 | ext_arg | 8656115432661876736 |
| PARAM_VALUE | 3 | ext_arg->iowait | 0 |
| PARAM_VALUE | 3 | ext_arg->min_time | 0 |
| PARAM_VALUE | 3 | ext_arg->sig | 0 |
| PARAM_VALUE | 3 | ext_arg->ts.tv_nsec | 0 |
| PARAM_VALUE | 3 | ext_arg->ts.tv_sec | 0 |
| PARAM_VALUE | 3 | ext_arg->ts_set | 0 |
| BUF_SIZE | 0 | ctx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ctx | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | ctx | 1 |
| DATA_SOURCE | 1 | flags | $3 |
| DATA_SOURCE | 2 | argp | $4 |
| BIT_INFO | 0 | ctx->int_flags | 0x0,0xfffffeff |
| BIT_INFO | 1 | flags | 0x1,0xff |
| USER_DATA | 0 | ctx->submit_state.need_plug | 0-1 |
| USER_DATA | 1 | flags | 0-254 |
| USER_DATA | 2 | argp | 0-u64max |
| USER_DATA | 3 | ext_arg->argsz | 0-u64max |
io_uring/io_uring.c __do_sys_io_uring_enter() -> io_get_ext_arg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->loop_step | 0 |
| PARAM_VALUE | 1 | flags | 0-254 |
| PARAM_VALUE | 3 | ext_arg | 8656115432661876736 |
| PARAM_VALUE | 3 | ext_arg->iowait | 0 |
| PARAM_VALUE | 3 | ext_arg->min_time | 0 |
| PARAM_VALUE | 3 | ext_arg->sig | 0 |
| PARAM_VALUE | 3 | ext_arg->ts.tv_nsec | 0 |
| PARAM_VALUE | 3 | ext_arg->ts.tv_sec | 0 |
| PARAM_VALUE | 3 | ext_arg->ts_set | 0 |
| BUF_SIZE | 0 | ctx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ctx | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | ctx | 1 |
| DATA_SOURCE | 1 | flags | $3 |
| DATA_SOURCE | 2 | argp | $4 |
| BIT_INFO | 0 | ctx->int_flags | 0x0,0xfffffeff |
| BIT_INFO | 1 | flags | 0x1,0xff |
| USER_DATA | 0 | ctx->submit_state.need_plug | 0-1 |
| USER_DATA | 1 | flags | 0-254 |
| USER_DATA | 2 | argp | 0-u64max |
| USER_DATA | 3 | ext_arg->argsz | 0-u64max |