SPINNERMASK
if (error && (new_lockword & (LOCKMASK | SPINNERMASK)) == 0) {
if (error && (new_lockword & (LOCKMASK | SPINNERMASK)) == 0) {
(release_all || (old_lockword & SPINNERMASK) == 0)) {
(release_all || (old_lockword & SPINNERMASK) == 0)) {
if (((old & SPINNERMASK) >> SPINNERSHIFT) >= max_spinners)
if (new & SPINNERMASK)