VOID __fastcall InitializeListHeadPte(_MI_PTE_CHAIN_HEAD *PteChainHead, _MMPTE *PteBase){
INT64 v2;
INT64 *v3;
*((_QWORD *)PteChainHead + 2) = PteBase;
v2 = MiSwizzleInvalidPte((__int64)((__int64)MmGetPteBase()
+ (((unsigned __int64)PteChainHead >> 9) & 0x7FFFFFFFF8i64)
- (_QWORD)PteBase) >> 3 << 28);
*v3 = v2;
v3[1] = v2;
}