/* SPDX-License-Identifier: GPL-2.0-only */

#include <arch/cpu.h>
#include <soc/cpu.h>
#include <soc/msr.h>
#include <soc/systemagent.h>

/* Dynamically determine if the part is ULT. */
int cpu_is_ult(void)
{
	static int ult = -1;

	if (ult < 0) {
		u32 fm = cpu_family_model();
		if (fm == BROADWELL_FAMILY_ULT || fm == HASWELL_FAMILY_ULT)
			ult = 1;
		else
			ult = 0;
	}

	return ult;
}