/* If 64-bit I/O port operations are not supported, then ASSERT(). */
UINT64 EFIAPI S3IoAndThenOr64(IN UINTN Port, IN UINT64 AndData, IN UINT64 OrData)
/* If 64-bit I/O port operations are not supported, then ASSERT(). */
UINT64 EFIAPI S3IoAndThenOr64(IN UINTN Port, IN UINT64 AndData, IN UINT64 OrData)
{
  return InternalSaveIoWrite64ValueToBootScript (Port, IoAndThenOr64 (Port, AndData, OrData));
}