Improved EnterSpinLock(). It can be called twice from the same thread.