/* Displays firmware data information on the standard output.  */
static void DisplayFirmwareDataInfo(uint32_t segments, uint32_t base, uint32_t size)
/* Displays firmware data information on the standard output.  */
static void DisplayFirmwareDataInfo(uint32_t segments, uint32_t base, uint32_t size)
{
  printf("  -> Number of segments: %u\n", segments);
  printf("  -> Base memory address: 0x%08x\n", base);
  printf("  -> Total data size: %u bytes\n", size);
}