2008-04-09 09:07:50 +02:00
|
|
|
/** @file
|
2007-06-28 10:36:46 +02:00
|
|
|
|
2008-04-09 09:07:50 +02:00
|
|
|
The internal header file includes the common header files, defines
|
|
|
|
internal functions used by WatchDogTimer module.
|
|
|
|
|
|
|
|
Copyright (c) 2006 - 2008, Intel Corporation
|
2007-06-28 10:36:46 +02:00
|
|
|
All rights reserved. This program and the accompanying materials
|
|
|
|
are licensed and made available under the terms and conditions of the BSD License
|
|
|
|
which accompanies this distribution. The full text of the license may be found at
|
|
|
|
http://opensource.org/licenses/bsd-license.php
|
|
|
|
|
|
|
|
THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
|
|
|
|
WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
|
|
|
|
|
2008-04-09 09:07:50 +02:00
|
|
|
**/
|
2007-06-28 10:36:46 +02:00
|
|
|
|
|
|
|
#ifndef _WATCHDOG_TIMER_H_
|
|
|
|
#define _WATCHDOG_TIMER_H_
|
|
|
|
|
2007-07-03 20:34:24 +02:00
|
|
|
|
2007-07-20 08:10:09 +02:00
|
|
|
|
2007-07-03 20:34:24 +02:00
|
|
|
#include <PiDxe.h>
|
|
|
|
#include <Library/DebugLib.h>
|
|
|
|
#include <Library/UefiDriverEntryPoint.h>
|
|
|
|
#include <Library/ReportStatusCodeLib.h>
|
|
|
|
#include <Library/UefiBootServicesTableLib.h>
|
|
|
|
#include <Library/UefiRuntimeServicesTableLib.h>
|
|
|
|
#include <Library/PcdLib.h>
|
2008-02-20 02:26:35 +01:00
|
|
|
#include <Protocol/WatchdogTimer.h>
|
2007-07-03 20:34:24 +02:00
|
|
|
|
|
|
|
|
2007-06-28 10:36:46 +02:00
|
|
|
//
|
|
|
|
// Function Prototypes
|
|
|
|
//
|
|
|
|
EFI_STATUS
|
|
|
|
EFIAPI
|
|
|
|
WatchdogTimerDriverRegisterHandler (
|
|
|
|
IN EFI_WATCHDOG_TIMER_ARCH_PROTOCOL *This,
|
|
|
|
IN EFI_WATCHDOG_TIMER_NOTIFY NotifyFunction
|
2007-07-03 20:34:24 +02:00
|
|
|
);
|
2007-06-28 10:36:46 +02:00
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
EFIAPI
|
|
|
|
WatchdogTimerDriverSetTimerPeriod (
|
|
|
|
IN EFI_WATCHDOG_TIMER_ARCH_PROTOCOL *This,
|
|
|
|
IN UINT64 TimerPeriod
|
2007-07-03 20:34:24 +02:00
|
|
|
);
|
2007-06-28 10:36:46 +02:00
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
EFIAPI
|
|
|
|
WatchdogTimerDriverGetTimerPeriod (
|
|
|
|
IN EFI_WATCHDOG_TIMER_ARCH_PROTOCOL *This,
|
|
|
|
IN UINT64 *TimerPeriod
|
2007-07-03 20:34:24 +02:00
|
|
|
);
|
2007-06-28 10:36:46 +02:00
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
EFIAPI
|
|
|
|
WatchdogTimerDriverInitialize (
|
|
|
|
IN EFI_HANDLE ImageHandle,
|
|
|
|
IN EFI_SYSTEM_TABLE *SystemTable
|
2007-07-03 20:34:24 +02:00
|
|
|
);
|
2007-06-28 10:36:46 +02:00
|
|
|
|
|
|
|
#endif
|