VOID __stdcall MmReleaseDumpHibernateResources(VOID *Va, UINT64 NumberOfBytes){
_MMPTE *PteAddress;
UINT64 v3;
_KTBFLUSH_TYPE v4;
PteAddress = MiGetPteAddress(Va);
MiReleasePtes((_MI_SYSTEM_PTE_TYPE *)((char *)&stru_140C4DB30 + 4432), PteAddress, v3, v4);
}