/* If 32-bit MMIO register operations are not supported, then ASSERT(). */
UINT32 EFIAPI MmioWrite32(IN UINTN Address, IN UINT32 Value)
/* If 32-bit MMIO register operations are not supported, then ASSERT(). */
UINT32 EFIAPI MmioWrite32(IN UINTN Address, IN UINT32 Value)
{
  BOOLEAN  Flag;
  ASSERT ((Address & 3) == 0);
  Flag = FilterBeforeMmIoWrite (FilterWidth32, Address, &Value);
  if (Flag) {
    MmioWrite32Internal (Address, Value);
  }
  FilterAfterMmIoWrite (FilterWidth32, Address, &Value);
  return Value;
}