VOID __stdcall ExpReleaseSpinLockSharedFromDpcLevelInstrumented(INT64 *SpinLock, VOID *ReturnAddress){
_InterlockedAnd((volatile signed __int32 *)SpinLock, 0xBFFFFFFF);
_InterlockedDecrement((volatile signed __int32 *)SpinLock);
PerfLogSpinLockRelease(SpinLock, ReturnAddress, __rdtsc());
}