Re: [RFC][PATCH 4/4] futex: Convert to compiler context analysis

[Peter Zijlstra]

On Wed, Jan 21, 2026 at 12:07:08PM +0100, Peter Zijlstra wrote:
> +extern void futex_q_lock(struct futex_q *q, struct futex_hash_bucket *hb)
> +	__acquires(&hb->lock)
> +	__acquires(q->lock_ptr);

FWIW, this 'weirdness' is because the thing cannot tell they are the
same lock and we use both forms. It's a bit tedious but that's what it
is.