// SetupDataMigrate - decompiled from Platform.efi
__int64 SetupDataMigrate()
{
  __int64 Buffer; // rax

  if ( Buffer != Buffer_0 ) /*0x8cde*/
  {
    SetupVarSizeCheck(); /*0x8ce4*/
    Buffer = Buffer_0; /*0x8ce9*/
    if ( !*(_QWORD *)Buffer_0 ) /*0x8cf0*/
    {
      CopyMem((void *)Buffer_0, (const void *)Buffer, 0x20u); /*0x8d06*/
      Buffer = Buffer_0; /*0x8d0b*/
      *(_BYTE *)(Buffer_0 + 14) = 1; /*0x8d12*/
    }
    Buffer = Buffer; /*0x8d16*/
  }
  return 0; /*0x8d1f*/
}