/* Convert an arch specific set of page attributes into a mask of EFI_MEMORY_xx constants. */
UINT64 RegionAttributeToGcdAttribute(IN UINTN PageAttributes)
/* Convert an arch specific set of page attributes into a mask of EFI_MEMORY_xx constants. */
UINT64 RegionAttributeToGcdAttribute(IN UINTN PageAttributes)
{
  UINT64  Result;
  SectionToGcdAttributes (PageAttributes, &Result);
  return Result;
}