/* If 16-bit MMIO register operations are not supported, then ASSERT(). */
UINT16 EFIAPI MmioWrite16(IN UINTN Address, IN UINT16 Value)
/* If 16-bit MMIO register operations are not supported, then ASSERT(). */
UINT16 EFIAPI MmioWrite16(IN UINTN Address, IN UINT16 Value)
{
  ASSERT ((Address & 1) == 0);
  return (UINT16)MmioWriteWorker (Address, SMM_IO_UINT16, Value);
}