#ifndef __ACTBL_H__

#define __ACTBL_H__

#define ACPI_SIG_DSDT "DSDT" /* Differentiated System Description Table */

#define ACPI_SIG_FADT "FACP" /* Fixed ACPI Description Table */

#define ACPI_SIG_FACS "FACS" /* Firmware ACPI Control Structure */

#define ACPI_SIG_PSDT "PSDT" /* Persistent System Description Table */

#define ACPI_SIG_RSDP "RSD PTR " /* Root System Description Pointer */

#define ACPI_SIG_RSDT "RSDT" /* Root System Description Table */

#define ACPI_SIG_XSDT "XSDT" /* Extended System Description Table */

#define ACPI_SIG_SSDT "SSDT" /* Secondary System Description Table */

#define ACPI_RSDP_NAME "RSDP" /* Short name for RSDP, not signature */

#pragma pack(1)

typedef struct acpi_table_header

{

char Signature[ACPI_NAME_SIZE]; /* ASCII table signature */

UINT32 Length; /* Length of table in bytes, including this header */

UINT8 Revision; /* ACPI Specification minor version # */

UINT8 Checksum; /* To make sum of entire table == 0 */

char OemId[ACPI_OEM_ID_SIZE]; /* ASCII OEM identification */

char OemTableId[ACPI_OEM_TABLE_ID_SIZE]; /* ASCII OEM table identification */

UINT32 OemRevision; /* OEM revision number */

char AslCompilerId[ACPI_NAME_SIZE]; /* ASCII ASL compiler vendor ID */

UINT32 AslCompilerRevision; /* ASL compiler version */

} ACPI_TABLE_HEADER;

typedef struct acpi_generic_address

{

UINT8 SpaceId; /* Address space where struct or register exists */

UINT8 BitWidth; /* Size in bits of given register */

UINT8 BitOffset; /* Bit offset within the register */

UINT8 AccessWidth; /* Minimum Access size (ACPI 3.0) */

UINT64 Address; /* 64-bit address of struct or register */

} ACPI_GENERIC_ADDRESS;

typedef struct acpi_table_rsdp

{

char Signature[8]; /* ACPI signature, contains "RSD PTR " */

UINT8 Checksum; /* ACPI 1.0 checksum */

char OemId[ACPI_OEM_ID_SIZE]; /* OEM identification */

UINT8 Revision; /* Must be (0) for ACPI 1.0 or (2) for ACPI 2.0+ */

UINT32 RsdtPhysicalAddress; /* 32-bit physical address of the RSDT */

UINT32 Length; /* Table length in bytes, including header (ACPI 2.0+) */

UINT64 XsdtPhysicalAddress; /* 64-bit physical address of the XSDT (ACPI 2.0+) */

UINT8 ExtendedChecksum; /* Checksum of entire table (ACPI 2.0+) */

UINT8 Reserved[3]; /* Reserved, must be zero */

} ACPI_TABLE_RSDP;

typedef struct acpi_rsdp_common

{

char Signature[8];

UINT8 Checksum;

char OemId[ACPI_OEM_ID_SIZE];

UINT8 Revision;

UINT32 RsdtPhysicalAddress;

} ACPI_RSDP_COMMON;

typedef struct acpi_rsdp_extension

{

UINT32 Length;

UINT64 XsdtPhysicalAddress;

UINT8 ExtendedChecksum;

UINT8 Reserved[3];

} ACPI_RSDP_EXTENSION;

typedef struct acpi_table_rsdt

{

ACPI_TABLE_HEADER Header; /* Common ACPI table header */

UINT32 TableOffsetEntry[1]; /* Array of pointers to ACPI tables */

} ACPI_TABLE_RSDT;

typedef struct acpi_table_xsdt

{

ACPI_TABLE_HEADER Header; /* Common ACPI table header */

UINT64 TableOffsetEntry[1]; /* Array of pointers to ACPI tables */

} ACPI_TABLE_XSDT;

typedef struct acpi_table_facs

{

char Signature[4]; /* ASCII table signature */

UINT32 Length; /* Length of structure, in bytes */

UINT32 HardwareSignature; /* Hardware configuration signature */

UINT32 FirmwareWakingVector; /* 32-bit physical address of the Firmware Waking Vector */

UINT32 GlobalLock; /* Global Lock for shared hardware resources */

UINT32 Flags;

UINT64 XFirmwareWakingVector; /* 64-bit version of the Firmware Waking Vector (ACPI 2.0+) */

UINT8 Version; /* Version of this table (ACPI 2.0+) */

UINT8 Reserved[3]; /* Reserved, must be zero */

UINT32 OspmFlags; /* Flags to be set by OSPM (ACPI 4.0) */

UINT8 Reserved1[24]; /* Reserved, must be zero */

} ACPI_TABLE_FACS;

#define ACPI_GLOCK_PENDING (1) /* 00: Pending global lock ownership */

#define ACPI_GLOCK_OWNED (1<<1) /* 01: Global lock is owned */

#define ACPI_FACS_S4_BIOS_PRESENT (1) /* 00: S4BIOS support is present */

#define ACPI_FACS_64BIT_WAKE (1<<1) /* 01: 64-bit wake vector supported (ACPI 4.0) */

#define ACPI_FACS_64BIT_ENVIRONMENT (1) /* 00: 64-bit wake environment is required (ACPI 4.0) */

typedef struct acpi_table_fadt

{

ACPI_TABLE_HEADER Header; /* Common ACPI table header */

UINT32 Facs; /* 32-bit physical address of FACS */

UINT32 Dsdt; /* 32-bit physical address of DSDT */

UINT8 Model; /* System Interrupt Model (ACPI 1.0) - not used in ACPI 2.0+ */

UINT8 PreferredProfile; /* Conveys preferred power management profile to OSPM. */

UINT16 SciInterrupt; /* System vector of SCI interrupt */

UINT32 SmiCommand; /* 32-bit Port address of SMI command port */

UINT8 AcpiEnable; /* Value to write to smi_cmd to enable ACPI */

UINT8 AcpiDisable; /* Value to write to smi_cmd to disable ACPI */

UINT8 S4BiosRequest; /* Value to write to SMI CMD to enter S4BIOS state */

UINT8 PstateControl; /* Processor performance state control*/

UINT32 Pm1aEventBlock; /* 32-bit Port address of Power Mgt 1a Event Reg Blk */

UINT32 Pm1bEventBlock; /* 32-bit Port address of Power Mgt 1b Event Reg Blk */

UINT32 Pm1aControlBlock; /* 32-bit Port address of Power Mgt 1a Control Reg Blk */

UINT32 Pm1bControlBlock; /* 32-bit Port address of Power Mgt 1b Control Reg Blk */

UINT32 Pm2ControlBlock; /* 32-bit Port address of Power Mgt 2 Control Reg Blk */

UINT32 PmTimerBlock; /* 32-bit Port address of Power Mgt Timer Ctrl Reg Blk */

UINT32 Gpe0Block; /* 32-bit Port address of General Purpose Event 0 Reg Blk */

UINT32 Gpe1Block; /* 32-bit Port address of General Purpose Event 1 Reg Blk */

UINT8 Pm1EventLength; /* Byte Length of ports at Pm1xEventBlock */

UINT8 Pm1ControlLength; /* Byte Length of ports at Pm1xControlBlock */

UINT8 Pm2ControlLength; /* Byte Length of ports at Pm2ControlBlock */

UINT8 PmTimerLength; /* Byte Length of ports at PmTimerBlock */

UINT8 Gpe0BlockLength; /* Byte Length of ports at Gpe0Block */

UINT8 Gpe1BlockLength; /* Byte Length of ports at Gpe1Block */

UINT8 Gpe1Base; /* Offset in GPE number space where GPE1 events start */

UINT8 CstControl; /* Support for the _CST object and C States change notification */

UINT16 C2Latency; /* Worst case HW latency to enter/exit C2 state */

UINT16 C3Latency; /* Worst case HW latency to enter/exit C3 state */

UINT16 FlushSize; /* Processor's memory cache line width, in bytes */

UINT16 FlushStride; /* Number of flush strides that need to be read */

UINT8 DutyOffset; /* Processor duty cycle index in processor's P_CNT reg */

UINT8 DutyWidth; /* Processor duty cycle value bit width in P_CNT register */

UINT8 DayAlarm; /* Index to day-of-month alarm in RTC CMOS RAM */

UINT8 MonthAlarm; /* Index to month-of-year alarm in RTC CMOS RAM */

UINT8 Century; /* Index to century in RTC CMOS RAM */

UINT16 BootFlags; /* IA-PC Boot Architecture Flags (see below for individual flags) */

UINT8 Reserved; /* Reserved, must be zero */

UINT32 Flags; /* Miscellaneous flag bits (see below for individual flags) */

ACPI_GENERIC_ADDRESS ResetRegister; /* 64-bit address of the Reset register */

UINT8 ResetValue; /* Value to write to the ResetRegister port to reset the system */

UINT8 Reserved4[3]; /* Reserved, must be zero */

UINT64 XFacs; /* 64-bit physical address of FACS */

UINT64 XDsdt; /* 64-bit physical address of DSDT */

ACPI_GENERIC_ADDRESS XPm1aEventBlock; /* 64-bit Extended Power Mgt 1a Event Reg Blk address */

ACPI_GENERIC_ADDRESS XPm1bEventBlock; /* 64-bit Extended Power Mgt 1b Event Reg Blk address */

ACPI_GENERIC_ADDRESS XPm1aControlBlock; /* 64-bit Extended Power Mgt 1a Control Reg Blk address */

ACPI_GENERIC_ADDRESS XPm1bControlBlock; /* 64-bit Extended Power Mgt 1b Control Reg Blk address */

ACPI_GENERIC_ADDRESS XPm2ControlBlock; /* 64-bit Extended Power Mgt 2 Control Reg Blk address */

ACPI_GENERIC_ADDRESS XPmTimerBlock; /* 64-bit Extended Power Mgt Timer Ctrl Reg Blk address */

ACPI_GENERIC_ADDRESS XGpe0Block; /* 64-bit Extended General Purpose Event 0 Reg Blk address */

ACPI_GENERIC_ADDRESS XGpe1Block; /* 64-bit Extended General Purpose Event 1 Reg Blk address */

} ACPI_TABLE_FADT;

#define ACPI_FADT_LEGACY_DEVICES (1) /* 00: [V2] System has LPC or ISA bus devices */

#define ACPI_FADT_8042 (1<<1) /* 01: [V3] System has an 8042 controller on port 60/64 */

#define ACPI_FADT_NO_VGA (1<<2) /* 02: [V4] It is not safe to probe for VGA hardware */

#define ACPI_FADT_NO_MSI (1<<3) /* 03: [V4] Message Signaled Interrupts (MSI) must not be enabled */

#define ACPI_FADT_NO_ASPM (1<<4) /* 04: [V4] PCIe ASPM control must not be enabled */

#define ACPI_FADT_WBINVD (1) /* 00: [V1] The wbinvd instruction works properly */

#define ACPI_FADT_WBINVD_FLUSH (1<<1) /* 01: [V1] wbinvd flushes but does not invalidate caches */

#define ACPI_FADT_C1_SUPPORTED (1<<2) /* 02: [V1] All processors support C1 state */

#define ACPI_FADT_C2_MP_SUPPORTED (1<<3) /* 03: [V1] C2 state works on MP system */

#define ACPI_FADT_POWER_BUTTON (1<<4) /* 04: [V1] Power button is handled as a control method device */

#define ACPI_FADT_SLEEP_BUTTON (1<<5) /* 05: [V1] Sleep button is handled as a control method device */

#define ACPI_FADT_FIXED_RTC (1<<6) /* 06: [V1] RTC wakeup status not in fixed register space */

#define ACPI_FADT_S4_RTC_WAKE (1<<7) /* 07: [V1] RTC alarm can wake system from S4 */

#define ACPI_FADT_32BIT_TIMER (1<<8) /* 08: [V1] ACPI timer width is 32-bit (0=24-bit) */

#define ACPI_FADT_DOCKING_SUPPORTED (1<<9) /* 09: [V1] Docking supported */

#define ACPI_FADT_RESET_REGISTER (1<<10) /* 10: [V2] System reset via the FADT RESET_REG supported */

#define ACPI_FADT_SEALED_CASE (1<<11) /* 11: [V3] No internal expansion capabilities and case is sealed */

#define ACPI_FADT_HEADLESS (1<<12) /* 12: [V3] No local video capabilities or local input devices */

#define ACPI_FADT_SLEEP_TYPE (1<<13) /* 13: [V3] Must execute native instruction after writing SLP_TYPx register */

#define ACPI_FADT_PCI_EXPRESS_WAKE (1<<14) /* 14: [V4] System supports PCIEXP_WAKE (STS/EN) bits (ACPI 3.0) */

#define ACPI_FADT_PLATFORM_CLOCK (1<<15) /* 15: [V4] OSPM should use platform-provided timer (ACPI 3.0) */

#define ACPI_FADT_S4_RTC_VALID (1<<16) /* 16: [V4] Contents of RTC_STS valid after S4 wake (ACPI 3.0) */

#define ACPI_FADT_REMOTE_POWER_ON (1<<17) /* 17: [V4] System is compatible with remote power on (ACPI 3.0) */

#define ACPI_FADT_APIC_CLUSTER (1<<18) /* 18: [V4] All local APICs must use cluster model (ACPI 3.0) */

#define ACPI_FADT_APIC_PHYSICAL (1<<19) /* 19: [V4] All local xAPICs must use physical dest mode (ACPI 3.0) */

enum AcpiPreferedPmProfiles

{

PM_UNSPECIFIED = 0,

PM_DESKTOP = 1,

PM_MOBILE = 2,

PM_WORKSTATION = 3,

PM_ENTERPRISE_SERVER = 4,

PM_SOHO_SERVER = 5,

PM_APPLIANCE_PC = 6

};

#pragma pack()

typedef union acpi_name_union

{

UINT32 Integer;

char Ascii[4];

} ACPI_NAME_UNION;

typedef struct acpi_table_desc

{

ACPI_PHYSICAL_ADDRESS Address;

ACPI_TABLE_HEADER *Pointer;

UINT32 Length; /* Length fixed at 32 bits */

ACPI_NAME_UNION Signature;

ACPI_OWNER_ID OwnerId;

UINT8 Flags;

} ACPI_TABLE_DESC;

#define ACPI_TABLE_ORIGIN_UNKNOWN (0)

#define ACPI_TABLE_ORIGIN_MAPPED (1)

#define ACPI_TABLE_ORIGIN_ALLOCATED (2)

#define ACPI_TABLE_ORIGIN_OVERRIDE (4)

#define ACPI_TABLE_ORIGIN_MASK (7)

#define ACPI_TABLE_IS_LOADED (8)

#include "actbl1.h"

#include "actbl2.h"

#define ACPI_FADT_OFFSET(f) (UINT8) ACPI_OFFSET (ACPI_TABLE_FADT, f)

#define ACPI_FADT_V1_SIZE (UINT32) (ACPI_FADT_OFFSET (Flags) + 4)

#define ACPI_FADT_V2_SIZE (UINT32) (ACPI_FADT_OFFSET (Reserved4[0]) + 3)

#define ACPI_FADT_V3_SIZE (UINT32) (sizeof (ACPI_TABLE_FADT))

#endif /* __ACTBL_H__ */