HalpInterruptRestoreAllControllerState

VOID __stdcall HalpInterruptRestoreAllControllerState(){
  ULONG_PTR *v0; 
  __int64 v1; 
  int v2; 
  v0 = (ULONG_PTR *)HalpRegisteredInterruptControllers;
  while( v0 != &HalpRegisteredInterruptControllers )
  {
    v1 = (__int64)v0;
    v0 = (ULONG_PTR *)*v0;
    v2 = HalpInterruptRestoreController(v1, 0);
    if( v2 < 0 )
      KeBugCheckEx(0x5Cu, 0x200ui64, HalpInterruptLastProblem, 3ui64, v2);
  }
  HalpInterruptPicStateIntact = 1;
}

Referenced by:

HalpInterruptMaskLevelTriggeredLines
HalpInterruptSwapProcessorIdentifiers