/* If 64-bit MMIO register operations are not supported, then ASSERT(). */
UINT64 EFIAPI MmioWrite64(IN UINTN Address, IN UINT64 Value)
/* If 64-bit MMIO register operations are not supported, then ASSERT(). */
UINT64 EFIAPI MmioWrite64(IN UINTN Address, IN UINT64 Value)
{
  BOOLEAN  Flag;
  ASSERT ((Address & 7) == 0);
  Flag = FilterBeforeMmIoWrite (FilterWidth64, Address, &Value);
  if (Flag) {
    *(volatile UINT64 *)Address = Value;
  }
  FilterAfterMmIoWrite (FilterWidth64, Address, &Value);
  return Value;
}