EdkNt32Pkg/Dxe/PcdEmulator/PcdEmulator.h

   1 /*++
   2
   3 Copyright (c) 2006, Intel Corporation
   4 All rights reserved. This program and the accompanying materials
   5 are licensed and made available under the terms and conditions of the BSD License
   6 which accompanies this distribution.  The full text of the license may be found at
   7 http://opensource.org/licenses/bsd-license.php
   8
   9 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11
  12 Module Name:
  13   PcdEmulator.h
  14
  15 Abstract:
  16   Platform Configuration Database (PCD)
  17
  18 --*/
  19
  20 #ifndef __PCD_EMULATOR_H__
  21 #define __PCD_EMULATOR_H__
  22
  23
  24
  25 //
  26 // BugBug: Not very sure, where to put this "extern"
  27 //
  28 extern GUID gPcdHobGuid;
  29
  30 //
  31 // BugBug: Hack max number of callbacks per token
  32 //
  33 #define MAX_PCD_CALLBACK  0x10
  34
  35 EMULATED_PCD_ENTRY_EX     *gEmulatedPcdEntryEx;
  36 EMULATED_PCD_DATABASE_EX     *gEmulatedPcdDatabaseEx;
  37
  38 EMULATED_PCD_ENTRY_EX *
  39 GetPcdEntry (
  40   IN      UINTN    TokenNumber
  41   );
  42
  43 #endif