// SPDX-License-Identifier: GPL-2.0
#include <linux/kernel.h>
#include <asm/processor.h>
#include "cpu.h"

/*
 * No special init required for Vortex processors.
 */

static const struct cpu_dev vortex_cpu_dev = {
	.c_vendor	= "Vortex",
	.c_ident	= { "Vortex86 SoC" },
	.legacy_models	= {
		{
			.family = 5,
			.model_names = {
				[2] = "Vortex86DX",
				[8] = "Vortex86MX",
			},
		},
		{
			.family = 6,
			.model_names = {
				/*
				 * Both the Vortex86EX and the Vortex86EX2
				 * have the same family and model id.
				 *
				 * However, the -EX2 supports the product name
				 * CPUID call, so this name will only be used
				 * for the -EX, which does not.
				 */
				[0] = "Vortex86EX",
			},
		},
	},
	.c_x86_vendor	= X86_VENDOR_VORTEX,
};

cpu_dev_register(vortex_cpu_dev);