+++ /dev/null
-/** @file\r
- Header file for MonotonicCounter driver.\r
-\r
-Copyright (c) 2006, Intel Corporation\r
-All rights reserved. This program and the accompanying materials\r
-are licensed and made available under the terms and conditions of the BSD License\r
-which accompanies this distribution. The full text of the license may be found at\r
-http://opensource.org/licenses/bsd-license.php\r
-\r
-THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
-WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
-\r
-**/\r
-\r
-#ifndef _MONOTONIC_COUNTER_DRIVER_H_\r
-#define _MONOTONIC_COUNTER_DRIVER_H_\r
-\r
-\r
-#include <Uefi.h>\r
-\r
-#include <Protocol/MonotonicCounter.h>\r
-\r
-#include <Library/BaseLib.h>\r
-#include <Library/UefiDriverEntryPoint.h>\r
-#include <Library/UefiRuntimeLib.h>\r
-#include <Library/DebugLib.h>\r
-#include <Library/UefiBootServicesTableLib.h>\r
-#include <Library/UefiRuntimeServicesTableLib.h>\r
-\r
-/**\r
- The initial function of monotonic counter driver.\r
-\r
- @param ImageHandle The handle of image.\r
- @param SystemTable The pointer to system table.\r
-\r
- @return EFI_SUCCESS The initialize action is successful.\r
-\r
-**/\r
-EFI_STATUS\r
-EFIAPI\r
-MonotonicCounterDriverInitialize (\r
- IN EFI_HANDLE ImageHandle,\r
- IN EFI_SYSTEM_TABLE *SystemTable\r
- );\r
-\r
-#endif\r