MdeModulePkg/Universal/MonotonicCounterRuntimeDxe/MonotonicCounter.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
  14   MonotonicCounter.h
  15
  16 Abstract:
  17
  18   Produces the Monotonic Counter services as defined in the DXE CIS
  19
  20 --*/
  21
  22 #ifndef _MONOTONIC_COUNTER_DRIVER_H_
  23 #define _MONOTONIC_COUNTER_DRIVER_H_
  24
  25
  26 #include <PiDxe.h>
  27
  28 #include <Protocol/MonotonicCounter.h>
  29
  30 #include <Library/BaseLib.h>
  31 #include <Library/UefiDriverEntryPoint.h>
  32 #include <Library/UefiRuntimeLib.h>
  33 #include <Library/DebugLib.h>
  34 #include <Library/UefiBootServicesTableLib.h>
  35 #include <Library/UefiRuntimeServicesTableLib.h>
  36
  37 //
  38 // Function Prototypes
  39 //
  40 EFI_STATUS
  41 EFIAPI
  42 MonotonicCounterDriverInitialize (
  43   IN EFI_HANDLE                            ImageHandle,
  44   IN EFI_SYSTEM_TABLE                      *SystemTable
  45   )
  46 ;
  47
  48 #endif