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