Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/futex/core.c __futex_hash() -> futex_queues()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &curr->futex.exit_mutex
HALF_LOCKED2 &curr->pi_lock
HALF_LOCKED2 irq

kernel/futex/core.c futex_init() -> futex_queues()

Type Parameter Key Value

kernel/futex/core.c futex_init() -> futex_queues()

Type Parameter Key Value