// 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*/
}