hc
2024-03-25 edb30157bad0c0001c32b854271ace01d3b9a16a
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
/** @file
  Public include file for the CPU Configuration Library
 
  @copyright
  Copyright 2006 - 2021 Intel Corporation. <BR>
 
  SPDX-License-Identifier: BSD-2-Clause-Patent
**/
 
#ifndef _CPU_CONFIG_LIB_H_
#define _CPU_CONFIG_LIB_H_
 
#include <Protocol/MpService.h>
#include <AcpiCpuData.h>
#include <CpuDataStruct.h>
 
 
// CPU C State Settings
#define C0_ENABLE                           0x00
#define C6_ENABLE                           0x03
 
//
// Structure conveying socket ID configuration information.
//
typedef struct {
  UINT32                    DefaultSocketId;
  UINT32                    NewSocketId;
} CPU_SOCKET_ID_INFO;
 
#endif