/* If SpinLock is NULL, then ASSERT(). If SpinLock was not initialized with  */
SPIN_LOCK* EFIAPI ReleaseSpinLock(IN OUT SPIN_LOCK *SpinLock)
/* If SpinLock is NULL, then ASSERT(). If SpinLock was not initialized with  */
SPIN_LOCK* EFIAPI ReleaseSpinLock(IN OUT SPIN_LOCK *SpinLock)
{
  SPIN_LOCK  LockValue;
  ASSERT (SpinLock != NULL);
  LockValue = *SpinLock;
  ASSERT (SPIN_LOCK_ACQUIRED == LockValue || SPIN_LOCK_RELEASED == LockValue);
  *SpinLock = SPIN_LOCK_RELEASED;
  return SpinLock;
}