Vlv2TbltDevicePkg/PlatformCpuInfoDxe/PlatformCpuInfoDxe.h

   1 /*++
   2
   3   Copyright (c) 2004  - 2014, Intel Corporation. All rights reserved.<BR>
   4
   5   SPDX-License-Identifier: BSD-2-Clause-Patent
   6
   7
   8
   9
  10 Module Name:
  11   PlatformCpuInfoDxe.h
  12
  13 Abstract:
  14   Platform Cpu Info Driver.
  15
  16 --*/
  17
  18 #ifndef _PLATFORM_CPU_INFO_DRIVER_H_
  19 #define _PLATFORM_CPU_INFO_DRIVER_H_
  20
  21 #include "PiDxe.h"
  22 #include "Library/HobLib.h"
  23 #include "Guid/GlobalVariable.h"
  24 #include "Guid/AcpiVariableCompatibility.h"
  25 #include "Guid/PlatformCpuInfo.h"
  26 #include "Library/UefiRuntimeServicesTableLib.h"
  27 #include <Guid/Vlv2Variable.h>
  28
  29 #endif