CHAR *__stdcall MiLockWorkingSetOptimal(INT64 a1, UINT64 a2, _BYTE *a3){
CHAR *v5;
char v6;
v5 = (char *)MmGetPteBase() + ((a2 >> 9) & 0x7FFFFFFFF8i64);
MiLockWorkingSetShared();
*a3 = v6;
MiLockPageTableInternal(a1, (UINT64)v5, 0i64);
return v5;
}