/* Declares that the system memory buffer specified by MemoryBegin and MemoryLength as permanent memory that may be used for general purpose use by software. The amount of memory available to software may be less than MemoryLength if published memory has alignment restrictions. If MemoryLength is 0, then ASSERT(). If MemoryLength is greater than (MAX_ADDRESS - MemoryBegin + 1), then ASSERT(). */
RETURN_STATUS EFIAPI PublishSystemMemory(IN PHYSICAL_ADDRESS MemoryBegin, IN UINT64 MemoryLength)
/* Declares that the system memory buffer specified by MemoryBegin and MemoryLength as permanent memory that may be used for general purpose use by software. The amount of memory available to software may be less than MemoryLength if published memory has alignment restrictions. If MemoryLength is 0, then ASSERT(). If MemoryLength is greater than (MAX_ADDRESS - MemoryBegin + 1), then ASSERT(). */
RETURN_STATUS EFIAPI PublishSystemMemory(IN PHYSICAL_ADDRESS MemoryBegin, IN UINT64 MemoryLength)
{
  EFI_STATUS  Status;
  ASSERT (MemoryLength > 0);
  ASSERT (MemoryLength <= (MAX_ADDRESS - MemoryBegin + 1));
  Status = PeiServicesInstallPeiMemory (MemoryBegin, MemoryLength);
  return (RETURN_STATUS)Status;
}