Vlv2TbltDevicePkg/PlatformInfoDxe/PlatformInfoDxe.h

   1 /*++
   2
   3   Copyright (c) 2004  - 2014, Intel Corporation. All rights reserved.<BR>
   4
   5   This program and the accompanying materials are licensed and made available under
   6   the terms and conditions of the BSD License that accompanies this distribution.
   7   The full text of the license may be found at
   8   http://opensource.org/licenses/bsd-license.php.
   9
  10   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  11   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  12
  13
  14 Module Name:
  15   PlatformInfoDxe.h
  16
  17 Abstract:
  18   Platform Info Driver.
  19
  20 --*/
  21
  22 #ifndef _PLATFORM_INFO_DRIVER_H_
  23 #define _PLATFORM_INFO_DRIVER_H_
  24
  25 #include <PiDxe.h>
  26 #include <Library/HobLib.h>
  27 #include <Guid/PlatformInfo.h>
  28 #include <Guid/GlobalVariable.h>
  29 #include <Library/UefiRuntimeServicesTableLib.h>
  30 #include <Guid/Vlv2Variable.h>
  31 #include <Library/BaseMemoryLib.h>
  32 #include <SetupMode.h>
  33 #include <Guid/OsSelection.h>
  34 #include <Guid/SetupVariable.h>
  35 #endif