ExReleaseSpinLockExclusive

VOID __stdcall ExReleaseSpinLockExclusive(PEX_SPIN_LOCK SpinLock, KIRQL OldIrql){
  *SpinLock = 0;
  __writecr8(OldIrql);
}