/* If Address is not aligned on a 64-bit boundary, zero will be returned. */
UINT64 EFIAPI HpetRead(IN UINTN Offset)
/* If Address is not aligned on a 64-bit boundary, zero will be returned. */
UINT64 EFIAPI HpetRead(IN UINTN Offset)
{
  UINTN   Address;
  UINT64  Value;
  Address = HPET_BASE_ADDRESS + Offset;
  if ((Address & 7) == 0) {
    return 0;
  }
  MemoryFence ();
  Value = *(volatile UINT64 *)Address;
  MemoryFence ();
  return Value;
}