mirror of https://github.com/acidanthera/audk.git
95 lines
3.0 KiB
C
95 lines
3.0 KiB
C
/*++
|
|
|
|
Copyright (c) 2007, Intel Corporation
|
|
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.
|
|
|
|
Module Name:
|
|
|
|
WatchdogDescriptionTable.h
|
|
|
|
Abstract:
|
|
|
|
ACPI Watchdog Description Table as defined in Intel
|
|
ICH Family Watchdog Timer (WDT) Application Note (AP-725)
|
|
|
|
--*/
|
|
|
|
#ifndef _WATCH_DOG_DESCRIPTION_TABLE_H_
|
|
#define _WATCH_DOG_DESCRIPTION_TABLE_H_
|
|
|
|
//
|
|
// Include files
|
|
//
|
|
#include "Acpi2_0.h"
|
|
|
|
//
|
|
// Ensure proper structure formats
|
|
//
|
|
#pragma pack(1)
|
|
//
|
|
// WDDT structure
|
|
//
|
|
typedef struct {
|
|
EFI_ACPI_DESCRIPTION_HEADER Header;
|
|
UINT16 SpecVersion;
|
|
UINT16 TableVersion;
|
|
UINT16 Vid;
|
|
EFI_ACPI_2_0_GENERIC_ADDRESS_STRUCTURE BaseAddress;
|
|
UINT16 TimerMaxCount;
|
|
UINT16 TimerMinCount;
|
|
UINT16 TimerCountPeriod;
|
|
UINT16 Status;
|
|
UINT16 Capability;
|
|
} EFI_ACPI_1_0_WATCH_DOG_DESCRIPTION_TABLE;
|
|
|
|
//
|
|
// "WDDT" Watchdog Description Table signatures
|
|
//
|
|
#define EFI_ACPI_1_0_WDDT_SIGNATURE 0x54444457
|
|
|
|
#pragma pack()
|
|
|
|
//
|
|
// WDDT Revision
|
|
//
|
|
#define EFI_ACPI_WATCHDOG_DESCRIPTION_1_0_TABLE_REVISION 0x01
|
|
|
|
//
|
|
// WDDT Spec Version
|
|
//
|
|
#define EFI_ACPI_WDDT_SPEC_1_0_VERSION 0x01
|
|
|
|
//
|
|
// WDDT Description Table Version
|
|
//
|
|
#define EFI_ACPI_WDDT_TABLE_1_0_VERSION 0x01
|
|
|
|
//
|
|
// WDT Status
|
|
//
|
|
#define EFI_ACPI_WDDT_STATUS_AVAILABLE 0x0001
|
|
#define EFI_ACPI_WDDT_STATUS_ACTIVE 0x0002
|
|
#define EFI_ACPI_WDDT_STATUS_OWNED_BY_BIOS 0x0000
|
|
#define EFI_ACPI_WDDT_STATUS_OWNED_BY_OS 0x0004
|
|
#define EFI_ACPI_WDDT_STATUS_USER_RESET_EVENT 0x0800
|
|
#define EFI_ACPI_WDDT_STATUS_WDT_EVENT 0x1000
|
|
#define EFI_ACPI_WDDT_STATUS_POWER_FAIL_EVENT 0x2000
|
|
#define EFI_ACPI_WDDT_STATUS_UNKNOWN_RESET_EVENT 0x4000
|
|
|
|
//
|
|
// WDT Capability
|
|
//
|
|
#define EFI_ACPI_WDDT_CAPABILITY_AUTO_RESET 0x0001
|
|
#define EFI_ACPI_WDDT_CAPABILITY_ALERT_SUPPORT 0x0002
|
|
#define EFI_ACPI_WDDT_CAPABILITY_PLATFORM_SHUTDOWN 0x0004
|
|
#define EFI_ACPI_WDDT_CAPABILITY_IMMEDIATE_SHUTDOWN 0x0008
|
|
#define EFI_ACPI_WDDT_CAPABILITY_BIOS_HANDOFF_SUPPORT 0x0010
|
|
|
|
#endif
|