/*++

  Copyright (c) 2004  - 2014, Intel Corporation. All rights reserved.<BR>
                                                                                   

  SPDX-License-Identifier: BSD-2-Clause-Patent

                                                                                   



Module Name:
  PlatformCpuInfoDxe.h

Abstract:
  Platform Cpu Info Driver.

--*/

#ifndef _PLATFORM_CPU_INFO_DRIVER_H_
#define _PLATFORM_CPU_INFO_DRIVER_H_

#include "PiDxe.h"
#include "Library/HobLib.h"
#include "Guid/GlobalVariable.h"
#include "Guid/AcpiVariableCompatibility.h"
#include "Guid/PlatformCpuInfo.h"
#include "Library/UefiRuntimeServicesTableLib.h"
#include <Guid/Vlv2Variable.h>

#endif