HvlpSetRegister64

void __fastcall HvlpSetRegister64(int a1, unsigned __int64 a2){
  unsigned int v2; 
  if( a1 > 589831 )
  {
    if( a1 == 589843 )
    {
      v2 = 1073741939;
      goto LABEL_23;
    }
    if( a1 == 589847 )
    {
      v2 = 1073741857;
      goto LABEL_23;
    }
    if( a1 > 655359 )
    {
      if( a1 <= 655375 )
      {
        v2 = a1 + 1073086608;
        goto LABEL_23;
      }
      if( a1 == 655379 )
      {
        v2 = 1073741955;
        goto LABEL_23;
      }
    }
    goto LABEL_20;
  }
  if( a1 == 589831 )
  {
    v2 = 1073741828;
    goto LABEL_23;
  }
  if( a1 < 528 )
    goto LABEL_20;
  if( a1 <= 532 )
  {
    v2 = a1 + 1073741552;
    goto LABEL_23;
  }
  if( a1 == 533 )
  {
    v2 = 1073742085;
    goto LABEL_23;
  }
  if( a1 == 624 )
  {
    v2 = 1073742102;
    goto LABEL_23;
  }
  if( a1 != 589826 )
  {
LABEL_20:
    RtlRaiseException((PEXCEPTION_RECORD)ExceptionRecord);
    return;
  }
  v2 = 0x40000000;
LABEL_23:
  __writemsr(v2, a2);
}

Referenced by: