VOID __stdcall MmFreeIsrStack(PVOID IsrStack){
char *v1;
MMPTE *PteAddress;
v1 = (char *)IsrStack - 24576;
MmFreeIndependentPages((char *)IsrStack - 24576, 0x6000ui64);
PteAddress = MiGetPteAddress(v1 - 4096);
MiReleasePtes((INT64)&qword_140C4EC80, (INT64)PteAddress, 1ui64);
}