2 ACPI Watchdog Resource Table (WDRT) as defined at
3 Microsoft Windows Hardware Developer Central.
5 Copyright (c) 2006 - 2008, Intel Corporation
6 All rights reserved. This program and the accompanying materials
7 are licensed and made available under the terms and conditions of the BSD License
8 which accompanies this distribution. The full text of the license may be found at
9 http://opensource.org/licenses/bsd-license.php
11 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15 #ifndef _WATCHDOG_RESOURCE_TABLE_H_
16 #define _WATCHDOG_RESOURCE_TABLE_H_
18 #include <IndustryStandard/Acpi.h>
21 // Ensure proper structure formats
26 /// Watchdog Resource Table definition.
29 EFI_ACPI_DESCRIPTION_HEADER Header
;
30 EFI_ACPI_2_0_GENERIC_ADDRESS_STRUCTURE ControlRegisterAddress
;
31 EFI_ACPI_2_0_GENERIC_ADDRESS_STRUCTURE CountRegisterAddress
;
35 UINT8 PCIDeviceNumber
;
36 UINT8 PCIFunctionNumber
;
40 } EFI_ACPI_WATCHDOG_RESOURCE_1_0_TABLE
;
45 // WDRT Revision (defined in spec)
47 #define EFI_ACPI_WATCHDOG_RESOURCE_1_0_TABLE_REVISION 0x01
50 // WDRT 1.0 Count Unit
52 #define EFI_ACPI_WDRT_1_0_COUNT_UNIT_1_SEC_PER_COUNT 1
53 #define EFI_ACPI_WDRT_1_0_COUNT_UNIT_100_MILLISEC_PER_COUNT 2
54 #define EFI_ACPI_WDRT_1_0_COUNT_UNIT_10_MILLISEC_PER_COUNT 3