Vlv2TbltDevicePkg/PlatformInfoDxe/PlatformInfoDxe.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 Module Name:
  10   PlatformInfoDxe.h
  11
  12 Abstract:
  13   Platform Info Driver.
  14
  15 --*/
  16
  17 #ifndef _PLATFORM_INFO_DRIVER_H_
  18 #define _PLATFORM_INFO_DRIVER_H_
  19
  20 #include <PiDxe.h>
  21 #include <Library/HobLib.h>
  22 #include <Guid/PlatformInfo.h>
  23 #include <Guid/GlobalVariable.h>
  24 #include <Library/UefiRuntimeServicesTableLib.h>
  25 #include <Guid/Vlv2Variable.h>
  26 #include <Library/BaseMemoryLib.h>
  27 #include <SetupMode.h>
  28 #include <Guid/OsSelection.h>
  29 #include <Guid/SetupVariable.h>
  30 #endif