/*++
|
|
Copyright (c) 2004 - 2019, 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 <Library/UefiRuntimeServicesTableLib.h>
|
#include <Guid/PlatformCpuInfo.h>
|
#include <Guid/Vlv2Variable.h>
|
|
#endif
|
