VOID __stdcall ExpAcquireSpinLockExclusiveAtDpcLevelInstrumented(INT64 *SpinLock, UINT8 OldIrql){
struct _KPRCB *CurrentPrcb;
int v3;
CurrentPrcb = KeGetCurrentPrcb();
++*((_DWORD *)CurrentPrcb + 8496);
v3 = ExpAcquireSpinLockExclusive(SpinLock, OldIrql);
if( v3 )
{
++*((_DWORD *)CurrentPrcb + 8497);
*((_DWORD *)CurrentPrcb + 8498) += v3;
}
}