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