INT64 __fastcall MiInitializeSlabAllocator(INT64 a1, INT64 a2, INT64 a3){
int v3;
int v4;
INT64 result;
v3 = a2;
v4 = a3;
memset(a1, 0i64);
*(_DWORD *)(a1 + 48) = v3;
result = 0xFFFFFFFFFi64;
*(_DWORD *)(a1 + 52) = v4;
*(_QWORD *)(a1 + 96) = 0i64;
*(_QWORD *)(a1 + 80) = 0xFFFFFFFFFi64;
*(_QWORD *)(a1 + 88) = 0xFFFFFFFFFi64;
*(_DWORD *)(a1 + 72) = 2;
return result;
}