VOID __stdcall MiStoreFaultComplete(_MMINPAGE_SUPPORT *InPageSupport, _MI_STORE_INPAGE_COMPLETE_FLAGS *OutFlags){
__int64 v2;
int v4;
int v5;
v2 = *((_QWORD *)InPageSupport + 11);
v4 = *((_DWORD *)InPageSupport + 20);
if( v4 < 0 )
{
v5 = 65537;
if( v4 == -1073741275 )
{
if( (*((_QWORD *)MmGetPfnDb() + 6 * *((_QWORD *)InPageSupport + 40) + 3) & 0x4000000000000000i64) == 0 )
KeBugCheckEx(0x1Au, 0x6000ui64, (ULONG_PTR)InPageSupport, 0xFFFFFFFFC0000225ui64, 0i64);
}
else if( v4 != -1073741791 )
{
v5 = 65539;
goto LABEL_3;
}
*((_DWORD *)InPageSupport + 20) = -1073741801;
goto LABEL_3;
}
v5 = ((_DWORD)v2 << 16) | 1;
*((_QWORD *)InPageSupport + 11) = (unsigned __int64)(unsigned __int16)v2 << 12;
LABEL_3:
OutFlags->EntireFlags = v5;
}