INT64 __stdcall MiMarkKernelPageTablePte(INT64 rcx0, UINT64 a2){
INT64 v2;
unsigned __int64 v3;
UINT64 Tag;
UINT64 v6;
v2 = MI_READ_PTE_LOCK_FREE(a2);
v6 = v2;
v3 = v2;
if( (v2 & 1) != 0 && (v2 & 0x80u) == 0i64 )
{
MiPteInShadowRange((UINT64)&v6);
LODWORD(Tag) = 1886088525;
PoSetHiberRange(0i64, 0x14000ui64, (VOID *)((v3 >> 12) & 0xFFFFFFFFFi64), 1ui64, Tag);
}
return 0i64;
}