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
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.
18 Produces the Monotonic Counter services as defined in the DXE CIS
22 #ifndef _MONOTONIC_COUNTER_DRIVER_H_
23 #define _MONOTONIC_COUNTER_DRIVER_H_
26 // The package level header files this module uses
30 // The protocols, PPI and GUID defintions for this module
32 #include <Protocol/MonotonicCounter.h>
34 // The Library classes this module consumes
36 #include <Library/BaseLib.h>
37 #include <Library/UefiDriverEntryPoint.h>
38 #include <Library/UefiRuntimeLib.h>
39 #include <Library/DebugLib.h>
40 #include <Library/UefiBootServicesTableLib.h>
41 #include <Library/UefiRuntimeServicesTableLib.h>
44 // Function Prototypes
48 MonotonicCounterDriverInitialize (
49 IN EFI_HANDLE ImageHandle
,
50 IN EFI_SYSTEM_TABLE
*SystemTable