UINT64 __stdcall ExpTryAcquireSpinLockExclusiveAtDpcLevelInstrumented(INT64 *SpinLock){
struct _KPRCB *CurrentPrcb;
CurrentPrcb = KeGetCurrentPrcb();
if( _InterlockedCompareExchange((volatile signed __int32 *)SpinLock, 0x80000000, 0) )
return 0i64;
++*((_DWORD *)CurrentPrcb + 8496);
return 1i64;
}