MiSetPageTablePfnBuddy

INT64 __fastcall MiSetPageTablePfnBuddy(INT64 a1, INT64 a2, INT64 a3){
  unsigned __int8 v5; 
  INT64 result; 
  if( (_DWORD)a3 )
    v5 = 17;
  else
    v5 = MiLockPageInline(a1);
  result = 0xFFFFFFFFFFE0000i64;
  *(_QWORD *)a1 ^= (*(_QWORD *)a1 ^ (a2 << 13)) & 0xFFFFFFFFFFE0000i64;
  if( v5 != 17 )
  {
    _InterlockedAnd64((volatile signed __int64 *)(a1 + 24), 0x7FFFFFFFFFFFFFFFui64);
    result = v5;
    __writecr8(v5);
  }
  return result;
}

Referenced by: