UINT64 __fastcall MiInitializeColorTable(_DWORD *a1, int a2){
_DWORD *v2;
__int64 v3;
UINT64 result;
v2 = a1;
a1[3] = *(&stru_140C4DB30 + 66) & ExGenRandom(ExGenRandomDomainUserVisible) | (a2 << *(&stru_140C4DB30 + 156));
v3 = 3i64;
do
{
result = ExGenRandom(ExGenRandomDomainUserVisible);
*v2++ = result;
--v3;
}
while( v3 );
return result;
}