Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

io_uring/msg_ring.c __io_msg_ring_data() -> io_double_unlock_ctx()

Type Parameter Key Value
PARAM_VALUE 0 octx 4096-ptr_max
PARAM_VALUE 0 octx->completion_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 octx->int_flags 64-u32max
PARAM_VALUE 0 octx->io_ev_fd->last_cq_tail 0-4294967295
PARAM_VALUE 0 octx->io_ev_fd->ops.counter 0-s32max
PARAM_VALUE 0 octx->io_ev_fd->rcu.next 0
PARAM_VALUE 0 octx->io_ev_fd->refs.refs.counter s32min-s32max
PARAM_VALUE 0 octx->sq_data->thread->sched_class->uclamp_enabled 0-1
PARAM_VALUE 0 octx->timeout_lock.dep_map->name 0-255
PARAM_VALUE 0 octx->timeout_lock.owner (-1)
PARAM_VALUE 0 octx->timeout_lock.owner_cpu u32max
BUF_SIZE 0 octx s32min-(-2),1-s32max
BUF_SIZE 0 octx s32min-(-2),1-s32max
DATA_SOURCE 0 octx $0
BIT_INFO 0 octx->flags 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &octx->uring_lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

io_uring/msg_ring.c io_msg_install_complete() -> io_double_unlock_ctx()

Type Parameter Key Value
PARAM_VALUE 0 octx->int_flags 64-u32max
PARAM_VALUE 0 octx->sq_data->thread->sched_class->uclamp_enabled 0-1
PARAM_VALUE 0 octx->timeout_lock.dep_map->name 0-255
BUF_SIZE 0 octx s32min-(-2),1-s32max
BUF_SIZE 0 octx s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &octx->uring_lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock