HalpInterruptEnsureLineSwapComplete

VOID __stdcall HalpInterruptEnsureLineSwapComplete(){
  ULONG_PTR *v0; 
  ULONG_PTR *v1; 
  __int64 **v2; 
  __int64 *v3; 
  __int64 *v4; 
  __int64 v5; 
  int v6; 
  __int64 v7; 
  ULONG_PTR v8; 
  v0 = (ULONG_PTR *)HalpRegisteredInterruptControllers;
  while( v0 != &HalpRegisteredInterruptControllers )
  {
    v1 = v0;
    v0 = (ULONG_PTR *)*v0;
    v2 = (__int64 **)(v1 + 30);
    v3 = *v2;
    while( v3 != (__int64 *)v2 )
    {
      v4 = v3;
      v5 = 0i64;
      v6 = *((_DWORD *)v3 + 6) - *((_DWORD *)v3 + 5);
      v3 = (__int64 *)*v3;
      if( v6 > 0 )
      {
        v7 = v6;
        v8 = v4[6];
        do
        {
          if( *(_BYTE *)(v8 + 2) )
            KeBugCheckEx(0x5Cu, 0x4000ui64, v8, 0i64, 0i64);
          ++v5;
          v8 += 16i64;
        }
        while( v5 < v7 );
      }
    }
  }
}

Referenced by: