__int64 __fastcall MiMarkKernelPageTablePte(__int64 a1, INT64 a2){
UINT64 v2;
UINT64 v3;
UINT64 Tag;
UINT64 v6;
LODWORD(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;
}