IVYBRIDGE        1104 arch/x86/kernel/cpu/common.c 	VULNBL_INTEL_STEPPINGS(IVYBRIDGE,	X86_STEPPING_ANY,		SRBDS),
IVYBRIDGE          48 drivers/gpu/drm/i915/intel_device_info.c 	PLATFORM_NAME(IVYBRIDGE),
IVYBRIDGE        1073 drivers/idle/intel_idle.c 	INTEL_CPU_FAM6(IVYBRIDGE,		idle_cpu_ivb),
IVYBRIDGE         957 drivers/powercap/intel_rapl_common.c 	INTEL_CPU_FAM6(IVYBRIDGE, rapl_defaults_core),