HalpFreeResumeStructures

VOID __fastcall HalpFreeResumeStructures(_HALP_ALLOC_CONTEXT *a1){
  unsigned int ActiveProcessorCount; 
  __int64 v2; 
  __int64 v3; 
  __int64 v4; 
  if( HalpHiberProcState )
  {
    HalpMmAllocCtxFree((__int64)a1, HalpHiberProcState);
    HalpHiberProcState = 0i64;
  }
  ActiveProcessorCount = KeQueryActiveProcessorCountEx(0xFFFFu);
  if( HalpTiledCr3Addresses )
  {
    if( ActiveProcessorCount )
    {
      v3 = 0i64;
      v4 = ActiveProcessorCount;
      do
      {
        HalpMmFreeTiledMemoryMap((UINT64 *)(v3 + HalpTiledCr3Addresses));
        v3 += 8i64;
        --v4;
      }
      while( v4 );
    }
    HalpMmAllocCtxFree(v2, HalpTiledCr3Addresses);
    HalpTiledCr3Addresses = 0i64;
  }
}

Referenced by:

HalpDispatchSystemStateTransition