UINT64 __fastcall MiSwitchKstackPages(INT64 a1, INT64 a2){
__int64 v2;
UINT64 result;
MiCopyPfnEntryEx(a1, a2);
*(_BYTE *)(v2 + 34) = *(_BYTE *)(v2 + 34) & 0xF8 | 6;
result = *(_QWORD *)(v2 + 40) & 0x8FFFFFFFFFFFFFFFui64 | 0x2000000000000000i64;
*(_QWORD *)(v2 + 40) = result;
return result;
}