/* If 64-bit MMIO register operations are not supported, then ASSERT(). If Address is not aligned on a 64-bit boundary, then ASSERT(). */
UINT64 EFIAPI MmioOr64(IN UINTN Address, IN UINT64 OrData)
/* If 64-bit MMIO register operations are not supported, then ASSERT(). If Address is not aligned on a 64-bit boundary, then ASSERT(). */
UINT64 EFIAPI MmioOr64(IN UINTN Address, IN UINT64 OrData)
{
  return MmioWrite64 (Address, MmioRead64 (Address) | OrData);
}