--- dmesg ---
DF5605FIX P1-free: lockstatus=0 -> FIXED dance do_unlock=1 (took 0 ticks) (acquired exclusive properly)
DF5605FIX P2-self-exclusive: lockstatus=2 -> FIXED dance do_unlock=0 (took 0 ticks) (self-held: skip reacquire, correct)
DF5605FIX P3-foreign-SHARED: lockstatus=1 -> FIXED dance do_unlock=1 (took 200 ticks) (acquired exclusive properly)
DF5605FIX P4-released: lockstatus=0 -> FIXED dance do_unlock=1 (took 0 ticks) (acquired exclusive properly)
DF5605FIX DONE
DF5605FIX unloaded