#include <Library/DebugLib.h>\r
#include <Register/Intel/Cpuid.h>\r
#include <Register/Intel/SmramSaveStateMap.h>\r
+#include "CpuFeaturesLib.h"\r
\r
//\r
// Machine Specific Registers (MSRs)\r
#define SMM_FEATURES_LIB_IA32_MCA_CAP 0x17D\r
#define SMM_CODE_ACCESS_CHK_BIT BIT58\r
\r
-/**\r
- Internal worker function that is called to complete CPU initialization at the\r
- end of SmmCpuFeaturesInitializeProcessor().\r
-\r
-**/\r
-VOID\r
-FinishSmmCpuFeaturesInitializeProcessor (\r
- VOID\r
- );\r
-\r
//\r
// Set default value to assume SMRR is not supported\r
//\r