// IoWrite16 - decompiled from Platform.efi
UINT16 __cdecl IoWrite16(UINTN Port, UINT16 Value)
{
  UINT16 result; // ax
  __int64 v3; // rax
  __int64 v4; // rcx

  result = qword_FFB0; /*0xad3a*/
  if ( !qword_FFB0 ) /*0xad46*/
  {
    v3 = (*(__int64 (__fastcall **)(void *, _QWORD, __int64 *))(BootServices + 320))(&unk_F990, 0, &qword_FFB0); /*0xad5f*/
    v4 = qword_FFB0; /*0xad65*/
    if ( v3 < 0 ) /*0xad6f*/
      v4 = 0; /*0xad6f*/
    qword_FFB0 = v4; /*0xad73*/
    return v4; /*0xad7a*/
  }
  return result; /*0xad7d*/
}
