VOID __fastcall MiPersistPage(UINT64 a1){
CHAR *v1;
CHAR *v2;
UINT8 OldIrql;
OldIrql = 0;
if( !byte_140C4DC28 )
{
LODWORD(v1) = MiMapPageInHyperSpaceWorker(a1, &OldIrql, 0x80000000ui64);
v2 = v1;
MiPersistMemory(v1, 0x1000ui64);
MiUnmapPageInHyperSpaceWorker(v2, OldIrql, 0x80000000ui64);
}
}