Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
io_uring/napi.c io_napi_busy_loop_should_end() -> io_has_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| CAPPED_DATA | 0 | ctx->rings_rcu | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
io_uring/wait.c io_cqring_min_timer_wakeup() -> io_has_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
io_uring/wait.c io_wake_function() -> io_has_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| CAPPED_DATA | 0 | ctx->rings_rcu | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sci->sc_wait_request.lock | ||
| HALF_LOCKED2 | &x->lock | ||
| HALF_LOCKED2 | flags |
io_uring/io_uring.c io_uring_poll() -> io_has_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| BUF_SIZE | 0 | ctx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ctx | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | ctx->rings_rcu | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &kvm->irq_srcu | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &vm->irqfds_lock | ||
| HALF_LOCKED2 | global &irqfds_srcu |