/* Check for AMD CPUs, which have potentially C1E support  */
static int __cpuinit check_c1e_idle(const struct cpuinfo_x86 *c)
/* Check for AMD CPUs, which have potentially C1E support  */
static int __cpuinit check_c1e_idle(const struct cpuinfo_x86 *c)
{
	if (c->x86_vendor != X86_VENDOR_AMD)
		return 0;
	if (c->x86 < 0x0F)
		return 0;
	if (c->x86 == 0x0f && c->x86_model < 0x40)
		return 0;
	return 1;
}