Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

io_uring/futex.c __io_futex_cancel() -> futex_unqueue()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->uring_lock

kernel/futex/waitwake.c __futex_wait() -> futex_unqueue()

Type Parameter Key Value
PARAM_VALUE 0 q 5056291383298330624
PARAM_VALUE 0 q->bitset 1-u32max
PARAM_VALUE 0 q->key.both.offset 0-4097
PARAM_VALUE 0 q->list.prio s32min-100
PARAM_VALUE 0 q->lock_ptr 4096-ptr_max
NOSPEC 0 q->key.both.offset
RX_PATH
USER_DATA 0 q->bitset 1-u32max
USER_DATA 0 q->key.both.offset 0-4097[c]
USER_DATA 0 q->key.private.address 0-u64max

kernel/futex/waitwake.c futex_unqueue_multiple() -> futex_unqueue()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING