// SetupValueChangeHandler - decompiled from Platform.efi
void SetupValueChangeHandler()
{
  if ( !DestinationBuffer ) /*0x2a5e*/
  {
    DestinationBuffer = (__int64)AllocateZeroPool(0x2A4u); /*0x2a6f*/
    CopyMem((void *)DestinationBuffer, &DestinationBuffer__3, 0x2A4u); /*0x2a80*/
  }
  if ( !DestinationBuffer_0 ) /*0x2a8d*/
  {
    DestinationBuffer_0 = (__int64)AllocateZeroPool(0x155u); /*0x2a9e*/
    CopyMem((void *)DestinationBuffer_0, &SourceBuffer__5, 0x155u); /*0x2aaf*/
  }
  if ( !DestinationBuffer_1 ) /*0x2abc*/
  {
    DestinationBuffer_1 = (__int64)AllocateZeroPool(0xE0u); /*0x2acd*/
    CopyMem((void *)DestinationBuffer_1, &SourceBuffer__6, 0xE0u); /*0x2ade*/
  }
  if ( !DestinationBuffer_2 ) /*0x2aeb*/
  {
    DestinationBuffer_2 = (__int64)AllocateZeroPool(0x1CEu); /*0x2afc*/
    CopyMem((void *)DestinationBuffer_2, &SourceBuffer__7, 0x1CEu); /*0x2b0d*/
  }
  if ( !DestinationBuffer_3 ) /*0x2b1a*/
  {
    DestinationBuffer_3 = (__int64)AllocateZeroPool(0x12Du); /*0x2b2b*/
    CopyMem((void *)DestinationBuffer_3, &SourceBuffer__8, 0x12Du); /*0x2b3c*/
  }
  if ( !DestinationBuffer_4 ) /*0x2b49*/
  {
    DestinationBuffer_4 = (__int64)AllocateZeroPool(0x1Bu); /*0x2b5a*/
    CopyMem((void *)DestinationBuffer_4, &SourceBuffer__9, 0x1Bu); /*0x2b6b*/
  }
  if ( !DestinationBuffer_5 ) /*0x2b78*/
  {
    DestinationBuffer_5 = (__int64)AllocateZeroPool(0x1A0Cu); /*0x2b89*/
    CopyMem((void *)DestinationBuffer_5, &DestinationBuffer__1, 0x1A0Cu); /*0x2b9a*/
  }
}