VOID __fastcall MiDeleteCachedKernelStack(INT64 a1){
ULONG_PTR v1;
ULONG_PTR v2;
v1 = a1 - 4080;
v2 = *(_QWORD *)(v1 + 4064);
if( v2 != (v1 ^ qword_140C4EC08) )
KeBugCheckEx(0x1Au, 0x3472ui64, v1, v2, v1 ^ qword_140C4EC08);
MiDeleteKernelStack((_MMPTE *)((char *)MmGetPteBase() + ((v1 >> 9) & 0x7FFFFFFFF8i64)), 0i64);
}