/* For Td guest TDVMCALL_MMIO is invoked to read MMIO registers. */
UINT8 EFIAPI MmioRead8(IN UINTN Address)
/* For Td guest TDVMCALL_MMIO is invoked to read MMIO registers. */
UINT8 EFIAPI MmioRead8(IN UINTN Address)
{
  UINT8    Value;
  BOOLEAN  Flag;
  Flag = FilterBeforeMmIoRead (FilterWidth8, Address, &Value);
  if (Flag) {
    MemoryFence ();
    if (IsTdxGuest ()) {
      Value = TdMmioRead8 (Address);
    } else {
      Value = *(volatile UINT8 *)Address;
    }
    MemoryFence ();
  }
  FilterAfterMmIoRead (FilterWidth8, Address, &Value);
  return Value;
}