/* If 64-bit MMIO register operations are not supported, then ASSERT(). */
UINT64 EFIAPI S3MmioWrite64(IN UINTN Address, IN UINT64 Value)
/* If 64-bit MMIO register operations are not supported, then ASSERT(). */
UINT64 EFIAPI S3MmioWrite64(IN UINTN Address, IN UINT64 Value)
{
  return InternalSaveMmioWrite64ValueToBootScript (Address, MmioWrite64 (Address, Value));
}