VOID *__stdcall KeReleaseInterruptSpinLock(PKINTERRUPT Interrupt, _KIRQL OldIrql){
unsigned __int64 v2;
VOID *result;
v2 = (unsigned __int8)OldIrql;
if( !Interrupt->SynchronizeIrql )
KeBugCheckEx(0x13Bu, (PVOID)1, Interrupt, 0i64, 0i64);
KxReleaseSpinLock(Interrupt->ActualLock);
result = (VOID *)(unsigned int)KiIrqlFlags;
__writecr8(v2);
return result;
}