/* If 32-bit MMIO register operations are not supported, then ASSERT(). */
UINT32 EFIAPI S3MmioWrite32(IN UINTN Address, IN UINT32 Value)
/* If 32-bit MMIO register operations are not supported, then ASSERT(). */
UINT32 EFIAPI S3MmioWrite32(IN UINTN Address, IN UINT32 Value)
{
  return InternalSaveMmioWrite32ValueToBootScript (Address, MmioWrite32 (Address, Value));
}