/* If 64-bit I/O port operations are not supported, then ASSERT(). If Port is not aligned on a 64-bit boundary, then ASSERT(). */
UINT64 EFIAPI IoOr64(IN UINTN Port, IN UINT64 OrData)
/* If 64-bit I/O port operations are not supported, then ASSERT(). If Port is not aligned on a 64-bit boundary, then ASSERT(). */
UINT64 EFIAPI IoOr64(IN UINTN Port, IN UINT64 OrData)
{
  return IoWrite64 (Port, IoRead64 (Port) | OrData);
}