/* 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)
{
  return PageAttributeToGcdAttribute (PageAttributes);
}