VOID __stdcall MmReleaseDumpHibernateResources(PVOID Va, UINT64 a2){ MMPTE *PteAddress; UINT64 v3; PteAddress = MiGetPteAddress(Va); MiReleasePtes((INT64)&qword_140C4EC80, (INT64)PteAddress, v3); }