DF5138-PROOF: first_lock=0 second_lock=-37 (EALREADY would be -37)
DF5138-PROOF: ticket->acquired after both locks = 1 (Linux dups path never gets here: 2nd lock = -EALREADY, entry moved aside, value stays 1)
DF5138-PROOF: after unlocks ticket->acquired = 0 (correct value: 0; 1 proves the desync)
DF5138-PROOF: resv still locked? 0 (0 = correctly released, lockmgr recursion is count-balanced)
DF5138-PROOF: RESULT=FIXED (-EALREADY returned; dup separated; accounting correct)
DF5138-PROOF: unloaded