VOID __stdcall MiSwitchKstackPages(_MMPFN *NewPfn, _MMPFN *OldPfn){
__int64 v2;
MiCopyPfnEntryEx((INT64)NewPfn, (INT64)OldPfn);
*(_BYTE *)(v2 + 34) = *(_BYTE *)(v2 + 34) & 0xF8 | 6;
*(_QWORD *)(v2 + 40) = *(_QWORD *)(v2 + 40) & 0x8FFFFFFFFFFFFFFFui64 | 0x2000000000000000i64;
}