Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

io_uring/poll.c __io_arm_poll_handler() -> io_poll_can_finish_inline()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->poll_refs.counter 0-1
PARAM_VALUE 1 pt 4019014857396924416,8033332501089599488
DATA_SOURCE 0 req $0
DATA_SOURCE 1 pt $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 req->ctx->submit_state.need_plug 0-1
USER_DATA 0 req->ctx->submit_state.submit_nr 1-u16max[c]

io_uring/poll.c __io_arm_poll_handler() -> io_poll_can_finish_inline()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->poll_refs.counter 0-1
PARAM_VALUE 1 pt 4019014857396924416,8033332501089599488
DATA_SOURCE 0 req $0
DATA_SOURCE 1 pt $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 req->ctx->submit_state.need_plug 0-1
USER_DATA 0 req->ctx->submit_state.submit_nr 1-u16max[c]

io_uring/poll.c __io_arm_poll_handler() -> io_poll_can_finish_inline()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->poll_refs.counter 0-1
PARAM_VALUE 1 pt 4019014857396924416,8033332501089599488
DATA_SOURCE 0 req $0
DATA_SOURCE 1 pt $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 req->ctx->submit_state.need_plug 0-1
USER_DATA 0 req->ctx->submit_state.submit_nr 1-u16max[c]