audk/Vlv2TbltDevicePkg/PlatformInfoDxe/PlatformInfoDxe.h

/*++

  Copyright (c) 2004  - 2014, Intel Corporation. All rights reserved.<BR>
                                                                                   
  SPDX-License-Identifier: BSD-2-Clause-Patent

                                                                                   

Module Name:
  PlatformInfoDxe.h

Abstract:
  Platform Info Driver.

--*/

#ifndef _PLATFORM_INFO_DRIVER_H_
#define _PLATFORM_INFO_DRIVER_H_

#include <PiDxe.h>
#include <Library/HobLib.h>
#include <Guid/PlatformInfo.h>
#include <Guid/GlobalVariable.h>
#include <Library/UefiRuntimeServicesTableLib.h>
#include <Guid/Vlv2Variable.h>
#include <Library/BaseMemoryLib.h>
#include <SetupMode.h>
#include <Guid/OsSelection.h>
#include <Guid/SetupVariable.h>
#endif