/* If SMM driver exits with an error, it must call this routine to free the allocated resource before the exiting. */
EFI_STATUS EFIAPI SmmMemoryAllocationLibDestructor(IN EFI_HANDLE ImageHandle, IN EFI_SYSTEM_TABLE *SystemTable)
/* If SMM driver exits with an error, it must call this routine to free the allocated resource before the exiting. */
EFI_STATUS EFIAPI SmmMemoryAllocationLibDestructor(IN EFI_HANDLE ImageHandle, IN EFI_SYSTEM_TABLE *SystemTable)
{
  FreePool (mSmramRanges);
  return EFI_SUCCESS;
}