KiSendHeteroRescheduleIntRequest

void __fastcall KiSendHeteroRescheduleIntRequest(_QWORD *a1){
  _QWORD *v2; 
  __int64 v3; 
  char v4; 
  char v5; 

  v2 = (_QWORD *)a1[24];
  if( (v2[1] & a1[4235]) != 0i64 )
  {
    v3 = a1[25];
    if( (v3 & *v2) != 0 && (v3 & v2[27]) != 0 )
    {
      KiSendHeteroRescheduleIntRequestHelper();
      if( v4 )
      {
        KiSendHeteroRescheduleIntRequestHelper();
        if( !v5 )
          KiSendHeteroRescheduleIntRequestHelper();
      }
    }
  }
}

Referenced by:

KeTransitionProcessorParkState
KiSwapThread