/* If 32-bit I/O port operations are not supported, then ASSERT(). */
UINT32 EFIAPI IoWrite32(IN UINTN Port, IN UINT32 Value)
/* If 32-bit I/O port operations are not supported, then ASSERT(). */
UINT32 EFIAPI IoWrite32(IN UINTN Port, IN UINT32 Value)
{
  ASSERT ((Port & 3) == 0);
  return (UINT32)IoWriteWorker (Port, EfiCpuIoWidthUint32, Value);
}