/* Convert a UEFI memory type to SMM pool type. */
SMM_POOL_TYPE UefiMemoryTypeToSmmPoolType(IN EFI_MEMORY_TYPE MemoryType)
/* Convert a UEFI memory type to SMM pool type. */
SMM_POOL_TYPE UefiMemoryTypeToSmmPoolType(IN EFI_MEMORY_TYPE MemoryType)
{
  ASSERT ((MemoryType == EfiRuntimeServicesCode) || (MemoryType == EfiRuntimeServicesData));
  switch (MemoryType) {
    case EfiRuntimeServicesCode:
      return SmmPoolTypeCode;
    case EfiRuntimeServicesData:
      return SmmPoolTypeData;
    default:
      return SmmPoolTypeMax;
  }
}