/* Reads the MMIO registers specified by Address with registers width specified by Width. The read value is returned. If such operations are not supported, then ASSERT(). This function must guarantee that all MMIO read and write operations are serialized. */
UINT64 EFIAPI MmioReadWorker(IN UINTN Address, IN EFI_CPU_IO_PROTOCOL_WIDTH Width)
/* Reads the MMIO registers specified by Address with registers width specified by Width. The read value is returned. If such operations are not supported, then ASSERT(). This function must guarantee that all MMIO read and write operations are serialized. */
UINT64 EFIAPI MmioReadWorker(IN UINTN Address, IN EFI_CPU_IO_PROTOCOL_WIDTH Width)
{
  EFI_STATUS  Status;
  UINT64      Data;
  Status = mCpuIo->Mem.Read (mCpuIo, Width, Address, 1, &Data);
  ASSERT_EFI_ERROR (Status);
  return Data;
}