MiGetNextPageColor

INT64 __fastcall MiGetNextPageColor(INT64 a1){
  return *(_DWORD *)(a1 + 12) | (unsigned int)_InterlockedExchangeAdd(*(volatile signed __int32 **)a1, 1u) & *(_DWORD *)(a1 + 8);
}

Referenced by: