Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

io_uring/rsrc.c io_put_rsrc_node() -> io_free_rsrc_node()

Type Parameter Key Value
PARAM_VALUE 0 ctx->uring_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ctx->uring_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ctx->uring_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 1 node->refs 0
BUF_SIZE 0 ctx s32min-(-1),1-s32max
BUF_SIZE 0 ctx s32min-(-1),1-s32max
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 node $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->buf_table.nr 1-16384[c]
USER_DATA 0 ctx->file_table.data.nr 1-1048576[c]
USER_DATA 0 ctx->submit_state.need_plug 0-1
USER_DATA 0 ctx->submit_state.submit_nr 1-u16max[c]
NO_OVERFLOW_SIMPLE 0 ctx->buf_table.nr
UNITS 0 ctx unit_byte
HALF_LOCKED2 0 &ctx->uring_lock

io_uring/io_uring.c io_put_rsrc_node() -> io_free_rsrc_node()

Type Parameter Key Value
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 1 node->refs 0
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 node $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte
HALF_LOCKED2 &ctx->uring_lock

io_uring/filetable.c io_put_rsrc_node() -> io_free_rsrc_node()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->file_table.data.nr 1-u32max
PARAM_VALUE 0 ctx->io_ev_fd->last_cq_tail 0-4294967295
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 1 node->refs 0
BUF_SIZE 0 ctx s32min-(-1),1-s32max
BUF_SIZE 0 ctx s32min-(-1),1-s32max
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 node $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->submit_state.need_plug 0-1
USER_DATA 0 ctx->submit_state.submit_nr 1-u16max[c]
UNITS 0 ctx unit_byte
HALF_LOCKED2 0 &ctx->uring_lock

io_uring/splice.c io_put_rsrc_node() -> io_free_rsrc_node()

Type Parameter Key Value
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 1 node->refs 0
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 node $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte
HALF_LOCKED2 &ctx->uring_lock