/* If 64-bit I/O port operations are not supported, then ASSERT(). */
UINT64 EFIAPI IoRead64(IN UINTN Port)
/* If 64-bit I/O port operations are not supported, then ASSERT(). */
UINT64 EFIAPI IoRead64(IN UINTN Port)
{
  ASSERT ((Port & 7) == 0);
  return IoReadWorker (Port, SMM_IO_UINT64);
}