KiInitIptState

INT64 __stdcall KiInitIptState(){
  int v0; 
  unsigned int i; 
  INT64 result; 
  __writemsr(0x570u, 0i64);
  if( (KiIptMsrMask & 2) != 0 )
    __writemsr(0x560u, 0i64);
  if( (KiIptMsrMask & 4) != 0 )
    __writemsr(0x561u, 0i64);
  __writemsr(0x571u, 0i64);
  if( (KiIptMsrMask & 0x10) != 0 )
    __writemsr(0x572u, 0i64);
  v0 = 0;
  for( i = 1409; i < 0x589; i += 2 )
  {
    result = (unsigned int)(v0 + 5);
    if( !_bittest((const signed __int32 *)&KiIptMsrMask, result) )
      break;
    result = 0i64;
    __writemsr(i - 1, 0i64);
    __writemsr(i, 0i64);
    ++v0;
  }
  return result;
}

Referenced by: