/* If 32-bit I/O port operations are not supported, then ASSERT(). */
UINT32 EFIAPI S3IoAnd32(IN UINTN Port, IN UINT32 AndData)
/* If 32-bit I/O port operations are not supported, then ASSERT(). */
UINT32 EFIAPI S3IoAnd32(IN UINTN Port, IN UINT32 AndData)
{
  return InternalSaveIoWrite32ValueToBootScript (Port, IoAnd32 (Port, AndData));
}