On Thu, 2026-07-16 at 10:41 +0200, Martin Wilck wrote: > > So IMO what we should do is simply resume and return in > preempt_self() > after the above command if we don't hold the reservation, which we > should check using check_holding_reservation().
... and we also need to clear mpp->reservation_key. Martin
