// PublishInterface - decompiled from Platform.efi
__int64 PublishInterface()
{
  __int64 v0; // rbx
  __int16 n255; // [rsp+30h] [rbp+8h] BYREF
  char n3; // [rsp+32h] [rbp+Ah]

  v0 = *(_QWORD *)Buffer; /*0x8711*/
  if ( !*(_QWORD *)Buffer ) /*0x8711*/
    return 0; /*0x8719*/
  n3 = 3; /*0x8722*/
  n255 = 255; /*0x8727*/
  CopyMem((void *)(v0 + *(unsigned int *)(Buffer + 8)), &n255, 3u); /*0x873d*/
  *(_DWORD *)(*(_QWORD *)Buffer + 5LL) = *(_DWORD *)(Buffer + 8) + 3; /*0x8755*/
  return v0; /*0x8758*/
}