VOID __stdcall MiPersistPage(UINT64 a1){
_XSTATE_FEATURE *v1;
UINT8 OldIrql;
OldIrql = 0;
if( !*(&stru_140C4DB30 + 248) )
{
v1 = (_XSTATE_FEATURE *)MiMapPageInHyperSpaceWorker(a1, &OldIrql, 0x80000000ui64);
MiPersistMemory(v1, (_XSTATE_CONFIGURATION *)0x1000);
MiUnmapPageInHyperSpaceWorker(v1, OldIrql, 0x80000000ui64);
}
}