/* If 16-bit I/O port operations are not supported, then ASSERT(). */
UINT16 EFIAPI IoRead16(IN UINTN Port)
/* If 16-bit I/O port operations are not supported, then ASSERT(). */
UINT16 EFIAPI IoRead16(IN UINTN Port)
{
  ASSERT ((Port & 1) == 0);
  return (UINT16)IoReadWorker (Port, EfiCpuIoWidthUint16);
}