2 Header file for MonotonicCounter driver.
4 Copyright (c) 2006, Intel Corporation
5 All rights reserved. This program and the accompanying materials
6 are licensed and made available under the terms and conditions of the BSD License
7 which accompanies this distribution. The full text of the license may be found at
8 http://opensource.org/licenses/bsd-license.php
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.
15 #ifndef _MONOTONIC_COUNTER_DRIVER_H_
16 #define _MONOTONIC_COUNTER_DRIVER_H_
21 #include <Protocol/MonotonicCounter.h>
23 #include <Library/BaseLib.h>
24 #include <Library/UefiDriverEntryPoint.h>
25 #include <Library/UefiRuntimeLib.h>
26 #include <Library/DebugLib.h>
27 #include <Library/UefiBootServicesTableLib.h>
28 #include <Library/UefiRuntimeServicesTableLib.h>
31 The initial function of monotonic counter driver.
33 @param ImageHandle The handle of image.
34 @param SystemTable The pointer to system table.
36 @return EFI_SUCCESS The initialize action is successful.
41 MonotonicCounterDriverInitialize (
42 IN EFI_HANDLE ImageHandle
,
43 IN EFI_SYSTEM_TABLE
*SystemTable