VOID __stdcall KdUpdateTimeSlipEvent(VOID *Event){
unsigned __int64 v2;
if( !KdPitchDebugger )
{
v2 = (unsigned __int8)KeAcquireSpinLockRaiseToDpc(&KdpTimeSlipEventLock);
if( KdpTimeSlipEvent )
ObfDereferenceObjectWithTag(KdpTimeSlipEvent, 0x746C6644ui64);
KdpTimeSlipEvent = Event;
KxReleaseSpinLock(&KdpTimeSlipEventLock);
__writecr8(v2);
}
}