--- dmesg ---
DF5605 P1-free: lockowned=0 lockstatus=0 (LK_SHARED=1 LK_EXCLUSIVE=2 LK_EXCLOTHER=8) -> ua_mixer_set dance do_unlock=1 (acquired exclusive properly)
DF5605 P2-self-exclusive: lockowned=1 lockstatus=2 (LK_SHARED=1 LK_EXCLUSIVE=2 LK_EXCLOTHER=8) -> ua_mixer_set dance do_unlock=0 (runs uaudio_mixer_set with NO lock held)
DF5605 P3-foreign-SHARED: lockowned=1 lockstatus=1 (LK_SHARED=1 LK_EXCLUSIVE=2 LK_EXCLOTHER=8) -> ua_mixer_set dance do_unlock=0 (runs uaudio_mixer_set with NO lock held)
DF5605 P4-released: lockowned=0 lockstatus=0 (LK_SHARED=1 LK_EXCLUSIVE=2 LK_EXCLOTHER=8) -> ua_mixer_set dance do_unlock=1 (acquired exclusive properly)
DF5605 DONE: divergence demonstrated=see P3 line above
DF5605 unloaded