The NO_SPIN_LOCK_AVAILABLE bug check has a value of 0x0000001D.
This bug check appears very infrequently.