Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

io_uring/io_uring.c io_iopoll_check() -> io_task_work_pending()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->int_flags 256-u32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
CAPPED_DATA 0 ctx 1
CAPPED_DATA 0 ctx->rings_rcu 1
DATA_SOURCE 0 ctx $0
PARAM_COMPARE 0 &ctx->iopoll_list != $0->iopoll_list.next
BIT_INFO 0 ctx->int_flags 0x100,0xffffffffffffffff
USER_DATA 0 ctx->submit_state.need_plug 0-1
LOCK2 0 &ctx->uring_lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock