VOID __stdcall HalPerformEndOfInterrupt(INT64 a1){
if( a1 && *(_BYTE *)(a1 + 101) )
HalpInterruptServiceActiveBoth(a1);
HalPerformEndOfInterruptAtController[0]();
if( *(&CmpDummyThreadEvent + 7094) )
HalpInterruptPerformDirectedEndOfInterrupt(a1);
}