INT64 __stdcall MiMapPatchTable(UINT64 a1, INT64 a2){
__int64 v3;
MMPTE *PteAddress;
_QWORD *v5;
INT64 v6;
v3 = ((unsigned int)dword_140C4C9F0 >> 12) + ((dword_140C4C9F0 & 0xFFF) != 0);
PteAddress = MiGetPteAddress((PVOID)a1);
v5 = PteAddress;
if( v3 )
{
v6 = a2 - (_QWORD)PteAddress;
do
{
*v5 = MiMakePrototypePteDirect((INT64)v5 + v6);
++v5;
--v3;
}
while( v3 );
}
return 0i64;
}