VOID __stdcall MiDeleteCachedKernelStack(INT64 a1){
unsigned __int64 v1;
void *v2;
v1 = a1 - 4080;
v2 = *(void **)(v1 + 4064);
if( v2 != (void *)(v1 ^ *(&stru_140C4DB30 + 539)) )
KeBugCheckEx(0x1Au, (PVOID)0x3472, (PVOID)v1, v2, (PVOID)(v1 ^ *(&stru_140C4DB30 + 539)));
MiDeleteKernelStack((_MMPTE *)((char *)MmGetPteBase() + ((v1 >> 9) & 0x7FFFFFFFF8i64)), 0i64);
}