IvtInitializeLargePagePte

UINT64 __stdcall IvtInitializeLargePagePte(UINT64 *a1, INT64 a2, INT64 a3){
  __int64 v5; 
  __int64 v6; 
  UINT64 v7; 
  __int64 v8; 
  __int64 v9; 
  unsigned __int64 v10; 
  UINT64 result; 

  v5 = 512i64;
  do
  {
    v6 = 1i64;
    v7 = *a1 | 0x80;
    v8 = 2i64;
    if( (_DWORD)a3 == 30 )
    {
      do
      {
        v7 |= v6++;
        --v8;
      }
      while( v8 );
      v9 = 0xFFFFFC0000000i64;
      v10 = a2 & 0xFFFFFFFFC0000000ui64;
    }
    else
    {
      do
      {
        v7 |= v6++;
        --v8;
      }
      while( v8 );
      v9 = 0xFFFFFFFE00000i64;
      v10 = a2 >> a3 << 21;
    }
    a2 += 1i64 << a3;
    result = v7 ^ v9 & (v7 ^ v10);
    *a1++ = result;
    --v5;
  }
  while( v5 );
  return result;
}

Referenced by: