VOID __stdcall KeReleaseInterruptSpinLock(_KINTERRUPT *Interrupt, UINT8 OldIrql){
unsigned __int64 v2;
v2 = OldIrql;
if( !Interrupt->SynchronizeIrql )
KeBugCheckEx(0x13Bu, 1ui64, (ULONG_PTR)Interrupt, 0i64, 0i64);
KxReleaseSpinLock(Interrupt->ActualLock);
__writecr8(v2);
}