VOID __stdcall MiMarkPfnTradable(INT64 a1, INT64 a2){
UINT8 v3;
if( (_DWORD)a2 )
v3 = 17;
else
v3 = MiLockPageInline((_MMPFN *)a1);
*(_QWORD *)a1 |= 1ui64;
if( v3 != 17 )
{
_InterlockedAnd64((volatile signed __int64 *)(a1 + 24), 0x7FFFFFFFFFFFFFFFui64);
__writecr8(v3);
}
}