VOID __stdcall MiZeroBootMappings(){
_MMPTE *PteBase;
_MMPTE *v1;
_MMPTE *v2;
__int64 v3;
PteBase = MmGetPteBase();
v1 = PteBase;
v2 = PteBase + 0x800000000i64;
v3 = 3i64;
do
{
v1 = (_MMPTE *)((char *)PteBase + (((unsigned __int64)v1 >> 9) & 0x7FFFFFFFF8i64));
v2 = (_MMPTE *)((char *)PteBase + (((unsigned __int64)v2 >> 9) & 0x7FFFFFFFF8i64));
--v3;
}
while( v3 );
MxZeroBootMappings(v1, v2, 3ui64);
KeFlushCurrentTbOnly(FlushUser);
}