intel_platform_name
err_printf(m, "Platform: %s\n", intel_platform_name(error->device_info.platform));
intel_platform_name(info->platform),
const char *intel_platform_name(enum intel_platform platform);