INT64 __fastcall MiInitializeLargeUserBasePfn(INT64 a1, INT64 a2, UINT64 a3){
UINT8 v6;
char v7;
INT64 result;
v6 = MiLockPageInline(a1);
v7 = *(_BYTE *)(a1 + 34);
*(_QWORD *)a1 = 0i64;
*(_QWORD *)(a1 + 8) = a2;
*(_QWORD *)a1 = (a3 >> 3) & 0xFFFFFFFFFFEi64;
*(_BYTE *)(a1 + 34) = v7 & 0xF8 | 6;
MiUnlockPage((_MMPFN *)a1, v6);
return result;
}