KiInitIptState

NTSTATUS __stdcall KiInitIptState(){
  int v0; 
  unsigned int i; 
  NTSTATUS result; 

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

Referenced by: