VOID __stdcall ExReleaseSpinLockShared(INT64 *SpinLock, UINT8 OldIrql){ _InterlockedAnd((volatile signed __int32 *)SpinLock, 0xBFFFFFFF); _InterlockedDecrement((volatile signed __int32 *)SpinLock); __writecr8(OldIrql); }