1  ## SPDX-License-Identifier: GPL-2.0-only
 2  
 3  
 4  config CPU_INTEL_HASWELL
 5  	bool
 6  	select ARCH_X86
 7  	select SSE2
 8  	select UDELAY_TSC
 9  	select TSC_MONOTONIC_TIMER
10  	select SUPPORT_CPU_UCODE_IN_CBFS
11  	#select AP_IN_SIPI_WAIT
12  	select TSC_SYNC_MFENCE
13  	select CPU_INTEL_FIRMWARE_INTERFACE_TABLE
14  	select CPU_INTEL_COMMON
15  	select CPU_INTEL_COMMON_TIMEBASE
16  	select HAVE_ASAN_IN_ROMSTAGE
17  	select CPU_INTEL_COMMON_VOLTAGE
18  
19  if CPU_INTEL_HASWELL
20  
21  config SMM_TSEG_SIZE
22  	hex
23  	default 0x800000
24  
25  config IED_REGION_SIZE
26  	hex
27  	default 0x400000
28  
29  config SMM_RESERVED_SIZE
30  	hex
31  	default 0x100000
32  
33  config MAX_CPUS
34  	int
35  	default 8
36  
37  config CPU_INTEL_NUM_FIT_ENTRIES
38  	default 6
39  endif