1 /******************************************************************************
2  *
3  * Name: actbl.h - Basic ACPI Table Definitions
4  *
5  *****************************************************************************/
6 
7 /*
8  * Copyright (C) 2000 - 2016, Intel Corp.
9  * All rights reserved.
10  *
11  * Redistribution and use in source and binary forms, with or without
12  * modification, are permitted provided that the following conditions
13  * are met:
14  * 1. Redistributions of source code must retain the above copyright
15  *    notice, this list of conditions, and the following disclaimer,
16  *    without modification.
17  * 2. Redistributions in binary form must reproduce at minimum a disclaimer
18  *    substantially similar to the "NO WARRANTY" disclaimer below
19  *    ("Disclaimer") and any redistribution must be conditioned upon
20  *    including a substantially similar Disclaimer requirement for further
21  *    binary redistribution.
22  * 3. Neither the names of the above-listed copyright holders nor the names
23  *    of any contributors may be used to endorse or promote products derived
24  *    from this software without specific prior written permission.
25  *
26  * Alternatively, this software may be distributed under the terms of the
27  * GNU General Public License ("GPL") version 2 as published by the Free
28  * Software Foundation.
29  *
30  * NO WARRANTY
31  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
32  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
33  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR
34  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
35  * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
36  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
37  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
38  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
39  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
40  * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
41  * POSSIBILITY OF SUCH DAMAGES.
42  */
43 
44 #ifndef __ACTBL_H__
45 #define __ACTBL_H__
46 
47 
48 /*******************************************************************************
49  *
50  * Fundamental ACPI tables
51  *
52  * This file contains definitions for the ACPI tables that are directly consumed
53  * by ACPICA. All other tables are consumed by the OS-dependent ACPI-related
54  * device drivers and other OS support code.
55  *
56  * The RSDP and FACS do not use the common ACPI table header. All other ACPI
57  * tables use the header.
58  *
59  ******************************************************************************/
60 
61 
62 /*
63  * Values for description table header signatures for tables defined in this
64  * file. Useful because they make it more difficult to inadvertently type in
65  * the wrong signature.
66  */
67 #define ACPI_SIG_DSDT           "DSDT"      /* Differentiated System Description Table */
68 #define ACPI_SIG_FADT           "FACP"      /* Fixed ACPI Description Table */
69 #define ACPI_SIG_FACS           "FACS"      /* Firmware ACPI Control Structure */
70 #define ACPI_SIG_OSDT           "OSDT"      /* Override System Description Table */
71 #define ACPI_SIG_PSDT           "PSDT"      /* Persistent System Description Table */
72 #define ACPI_SIG_RSDP           "RSD PTR "  /* Root System Description Pointer */
73 #define ACPI_SIG_RSDT           "RSDT"      /* Root System Description Table */
74 #define ACPI_SIG_XSDT           "XSDT"      /* Extended  System Description Table */
75 #define ACPI_SIG_SSDT           "SSDT"      /* Secondary System Description Table */
76 #define ACPI_RSDP_NAME          "RSDP"      /* Short name for RSDP, not signature */
77 
78 
79 /*
80  * All tables and structures must be byte-packed to match the ACPI
81  * specification, since the tables are provided by the system BIOS
82  */
83 #pragma pack(1)
84 
85 /*
86  * Note: C bitfields are not used for this reason:
87  *
88  * "Bitfields are great and easy to read, but unfortunately the C language
89  * does not specify the layout of bitfields in memory, which means they are
90  * essentially useless for dealing with packed data in on-disk formats or
91  * binary wire protocols." (Or ACPI tables and buffers.) "If you ask me,
92  * this decision was a design error in C. Ritchie could have picked an order
93  * and stuck with it." Norman Ramsey.
94  * See http://stackoverflow.com/a/1053662/41661
95  */
96 
97 
98 /*******************************************************************************
99  *
100  * Master ACPI Table Header. This common header is used by all ACPI tables
101  * except the RSDP and FACS.
102  *
103  ******************************************************************************/
104 
105 typedef struct acpi_table_header
106 {
107     char                    Signature[ACPI_NAME_SIZE];          /* ASCII table signature */
108     UINT32                  Length;                             /* Length of table in bytes, including this header */
109     UINT8                   Revision;                           /* ACPI Specification minor version number */
110     UINT8                   Checksum;                           /* To make sum of entire table == 0 */
111     char                    OemId[ACPI_OEM_ID_SIZE];            /* ASCII OEM identification */
112     char                    OemTableId[ACPI_OEM_TABLE_ID_SIZE]; /* ASCII OEM table identification */
113     UINT32                  OemRevision;                        /* OEM revision number */
114     char                    AslCompilerId[ACPI_NAME_SIZE];      /* ASCII ASL compiler vendor ID */
115     UINT32                  AslCompilerRevision;                /* ASL compiler version */
116 
117 } ACPI_TABLE_HEADER;
118 
119 
120 /*******************************************************************************
121  *
122  * GAS - Generic Address Structure (ACPI 2.0+)
123  *
124  * Note: Since this structure is used in the ACPI tables, it is byte aligned.
125  * If misaligned access is not supported by the hardware, accesses to the
126  * 64-bit Address field must be performed with care.
127  *
128  ******************************************************************************/
129 
130 typedef struct acpi_generic_address
131 {
132     UINT8                   SpaceId;                /* Address space where struct or register exists */
133     UINT8                   BitWidth;               /* Size in bits of given register */
134     UINT8                   BitOffset;              /* Bit offset within the register */
135     UINT8                   AccessWidth;            /* Minimum Access size (ACPI 3.0) */
136     UINT64                  Address;                /* 64-bit address of struct or register */
137 
138 } ACPI_GENERIC_ADDRESS;
139 
140 
141 /*******************************************************************************
142  *
143  * RSDP - Root System Description Pointer (Signature is "RSD PTR ")
144  *        Version 2
145  *
146  ******************************************************************************/
147 
148 typedef struct acpi_table_rsdp
149 {
150     char                    Signature[8];               /* ACPI signature, contains "RSD PTR " */
151     UINT8                   Checksum;                   /* ACPI 1.0 checksum */
152     char                    OemId[ACPI_OEM_ID_SIZE];    /* OEM identification */
153     UINT8                   Revision;                   /* Must be (0) for ACPI 1.0 or (2) for ACPI 2.0+ */
154     UINT32                  RsdtPhysicalAddress;        /* 32-bit physical address of the RSDT */
155     UINT32                  Length;                     /* Table length in bytes, including header (ACPI 2.0+) */
156     UINT64                  XsdtPhysicalAddress;        /* 64-bit physical address of the XSDT (ACPI 2.0+) */
157     UINT8                   ExtendedChecksum;           /* Checksum of entire table (ACPI 2.0+) */
158     UINT8                   Reserved[3];                /* Reserved, must be zero */
159 
160 } ACPI_TABLE_RSDP;
161 
162 /* Standalone struct for the ACPI 1.0 RSDP */
163 
164 typedef struct acpi_rsdp_common
165 {
166     char                    Signature[8];
167     UINT8                   Checksum;
168     char                    OemId[ACPI_OEM_ID_SIZE];
169     UINT8                   Revision;
170     UINT32                  RsdtPhysicalAddress;
171 
172 } ACPI_RSDP_COMMON;
173 
174 /* Standalone struct for the extended part of the RSDP (ACPI 2.0+) */
175 
176 typedef struct acpi_rsdp_extension
177 {
178     UINT32                  Length;
179     UINT64                  XsdtPhysicalAddress;
180     UINT8                   ExtendedChecksum;
181     UINT8                   Reserved[3];
182 
183 } ACPI_RSDP_EXTENSION;
184 
185 
186 /*******************************************************************************
187  *
188  * RSDT/XSDT - Root System Description Tables
189  *             Version 1 (both)
190  *
191  ******************************************************************************/
192 
193 typedef struct acpi_table_rsdt
194 {
195     ACPI_TABLE_HEADER       Header;                 /* Common ACPI table header */
196     UINT32                  TableOffsetEntry[1];    /* Array of pointers to ACPI tables */
197 
198 } ACPI_TABLE_RSDT;
199 
200 typedef struct acpi_table_xsdt
201 {
202     ACPI_TABLE_HEADER       Header;                 /* Common ACPI table header */
203     UINT64                  TableOffsetEntry[1];    /* Array of pointers to ACPI tables */
204 
205 } ACPI_TABLE_XSDT;
206 
207 #define ACPI_RSDT_ENTRY_SIZE        (sizeof (UINT32))
208 #define ACPI_XSDT_ENTRY_SIZE        (sizeof (UINT64))
209 
210 
211 /*******************************************************************************
212  *
213  * FACS - Firmware ACPI Control Structure (FACS)
214  *
215  ******************************************************************************/
216 
217 #pragma GCC diagnostic push
218 #pragma GCC diagnostic error "-Wpadded"
219 
220 /*
221  * According to the the ACPI specification, section 5.2.10, the platform boot
222  * firmware aligns the FACS on a 64-byte boundary anywhere within the system’s
223  * memory address space. This means we can use 8-byte alignment on the FACS
224  * struct even though all other structs use byte-packing, which is necessary
225  * for lock-free access to ACPI Global Lock.
226  */
227 
228 typedef struct acpi_table_facs
229 {
230     char                    Signature[4];           /* ASCII table signature */
231     UINT32                  Length;                 /* Length of structure, in bytes */
232     UINT32                  HardwareSignature;      /* Hardware configuration signature */
233     UINT32                  FirmwareWakingVector;   /* 32-bit physical address of the Firmware Waking Vector */
234     UINT32                  GlobalLock;             /* Global Lock for shared hardware resources */
235     UINT32                  Flags;
236     UINT64                  XFirmwareWakingVector;  /* 64-bit version of the Firmware Waking Vector (ACPI 2.0+) */
237     UINT8                   Version;                /* Version of this table (ACPI 2.0+) */
238     UINT8                   Reserved[3];            /* Reserved, must be zero */
239     UINT32                  OspmFlags;              /* Flags to be set by OSPM (ACPI 4.0) */
240     UINT8                   Reserved1[24];          /* Reserved, must be zero */
241 
242 } __attribute__((aligned(8))) ACPI_TABLE_FACS;
243 
244 #pragma GCC diagnostic pop
245 
246 /* Masks for GlobalLock flag field above */
247 
248 #define ACPI_GLOCK_PENDING          (1)             /* 00: Pending global lock ownership */
249 #define ACPI_GLOCK_OWNED            (1<<1)          /* 01: Global lock is owned */
250 
251 /* Masks for Flags field above  */
252 
253 #define ACPI_FACS_S4_BIOS_PRESENT   (1)             /* 00: S4BIOS support is present */
254 #define ACPI_FACS_64BIT_WAKE        (1<<1)          /* 01: 64-bit wake vector supported (ACPI 4.0) */
255 
256 /* Masks for OspmFlags field above */
257 
258 #define ACPI_FACS_64BIT_ENVIRONMENT (1)             /* 00: 64-bit wake environment is required (ACPI 4.0) */
259 
260 
261 /*******************************************************************************
262  *
263  * FADT - Fixed ACPI Description Table (Signature "FACP")
264  *        Version 4
265  *
266  ******************************************************************************/
267 
268 /* Fields common to all versions of the FADT */
269 
270 typedef struct acpi_table_fadt
271 {
272     ACPI_TABLE_HEADER       Header;             /* Common ACPI table header */
273     UINT32                  Facs;               /* 32-bit physical address of FACS */
274     UINT32                  Dsdt;               /* 32-bit physical address of DSDT */
275     UINT8                   Model;              /* System Interrupt Model (ACPI 1.0) - not used in ACPI 2.0+ */
276     UINT8                   PreferredProfile;   /* Conveys preferred power management profile to OSPM. */
277     UINT16                  SciInterrupt;       /* System vector of SCI interrupt */
278     UINT32                  SmiCommand;         /* 32-bit Port address of SMI command port */
279     UINT8                   AcpiEnable;         /* Value to write to SMI_CMD to enable ACPI */
280     UINT8                   AcpiDisable;        /* Value to write to SMI_CMD to disable ACPI */
281     UINT8                   S4BiosRequest;      /* Value to write to SMI_CMD to enter S4BIOS state */
282     UINT8                   PstateControl;      /* Processor performance state control*/
283     UINT32                  Pm1aEventBlock;     /* 32-bit port address of Power Mgt 1a Event Reg Blk */
284     UINT32                  Pm1bEventBlock;     /* 32-bit port address of Power Mgt 1b Event Reg Blk */
285     UINT32                  Pm1aControlBlock;   /* 32-bit port address of Power Mgt 1a Control Reg Blk */
286     UINT32                  Pm1bControlBlock;   /* 32-bit port address of Power Mgt 1b Control Reg Blk */
287     UINT32                  Pm2ControlBlock;    /* 32-bit port address of Power Mgt 2 Control Reg Blk */
288     UINT32                  PmTimerBlock;       /* 32-bit port address of Power Mgt Timer Ctrl Reg Blk */
289     UINT32                  Gpe0Block;          /* 32-bit port address of General Purpose Event 0 Reg Blk */
290     UINT32                  Gpe1Block;          /* 32-bit port address of General Purpose Event 1 Reg Blk */
291     UINT8                   Pm1EventLength;     /* Byte Length of ports at Pm1xEventBlock */
292     UINT8                   Pm1ControlLength;   /* Byte Length of ports at Pm1xControlBlock */
293     UINT8                   Pm2ControlLength;   /* Byte Length of ports at Pm2ControlBlock */
294     UINT8                   PmTimerLength;      /* Byte Length of ports at PmTimerBlock */
295     UINT8                   Gpe0BlockLength;    /* Byte Length of ports at Gpe0Block */
296     UINT8                   Gpe1BlockLength;    /* Byte Length of ports at Gpe1Block */
297     UINT8                   Gpe1Base;           /* Offset in GPE number space where GPE1 events start */
298     UINT8                   CstControl;         /* Support for the _CST object and C-States change notification */
299     UINT16                  C2Latency;          /* Worst case HW latency to enter/exit C2 state */
300     UINT16                  C3Latency;          /* Worst case HW latency to enter/exit C3 state */
301     UINT16                  FlushSize;          /* Processor memory cache line width, in bytes */
302     UINT16                  FlushStride;        /* Number of flush strides that need to be read */
303     UINT8                   DutyOffset;         /* Processor duty cycle index in processor P_CNT reg */
304     UINT8                   DutyWidth;          /* Processor duty cycle value bit width in P_CNT register */
305     UINT8                   DayAlarm;           /* Index to day-of-month alarm in RTC CMOS RAM */
306     UINT8                   MonthAlarm;         /* Index to month-of-year alarm in RTC CMOS RAM */
307     UINT8                   Century;            /* Index to century in RTC CMOS RAM */
308     UINT16                  BootFlags;          /* IA-PC Boot Architecture Flags (see below for individual flags) */
309     UINT8                   Reserved;           /* Reserved, must be zero */
310     UINT32                  Flags;              /* Miscellaneous flag bits (see below for individual flags) */
311     ACPI_GENERIC_ADDRESS    ResetRegister;      /* 64-bit address of the Reset register */
312     UINT8                   ResetValue;         /* Value to write to the ResetRegister port to reset the system */
313     UINT16                  ArmBootFlags;       /* ARM-Specific Boot Flags (see below for individual flags) (ACPI 5.1) */
314     UINT8                   MinorRevision;      /* FADT Minor Revision (ACPI 5.1) */
315     UINT64                  XFacs;              /* 64-bit physical address of FACS */
316     UINT64                  XDsdt;              /* 64-bit physical address of DSDT */
317     ACPI_GENERIC_ADDRESS    XPm1aEventBlock;    /* 64-bit Extended Power Mgt 1a Event Reg Blk address */
318     ACPI_GENERIC_ADDRESS    XPm1bEventBlock;    /* 64-bit Extended Power Mgt 1b Event Reg Blk address */
319     ACPI_GENERIC_ADDRESS    XPm1aControlBlock;  /* 64-bit Extended Power Mgt 1a Control Reg Blk address */
320     ACPI_GENERIC_ADDRESS    XPm1bControlBlock;  /* 64-bit Extended Power Mgt 1b Control Reg Blk address */
321     ACPI_GENERIC_ADDRESS    XPm2ControlBlock;   /* 64-bit Extended Power Mgt 2 Control Reg Blk address */
322     ACPI_GENERIC_ADDRESS    XPmTimerBlock;      /* 64-bit Extended Power Mgt Timer Ctrl Reg Blk address */
323     ACPI_GENERIC_ADDRESS    XGpe0Block;         /* 64-bit Extended General Purpose Event 0 Reg Blk address */
324     ACPI_GENERIC_ADDRESS    XGpe1Block;         /* 64-bit Extended General Purpose Event 1 Reg Blk address */
325     ACPI_GENERIC_ADDRESS    SleepControl;       /* 64-bit Sleep Control register (ACPI 5.0) */
326     ACPI_GENERIC_ADDRESS    SleepStatus;        /* 64-bit Sleep Status register (ACPI 5.0) */
327     UINT64                  HypervisorId;       /* Hypervisor Vendor ID (ACPI 6.0) */
328 
329 } ACPI_TABLE_FADT;
330 
331 
332 /* Masks for FADT IA-PC Boot Architecture Flags (boot_flags) [Vx]=Introduced in this FADT revision */
333 
334 #define ACPI_FADT_LEGACY_DEVICES    (1)         /* 00: [V2] System has LPC or ISA bus devices */
335 #define ACPI_FADT_8042              (1<<1)      /* 01: [V3] System has an 8042 controller on port 60/64 */
336 #define ACPI_FADT_NO_VGA            (1<<2)      /* 02: [V4] It is not safe to probe for VGA hardware */
337 #define ACPI_FADT_NO_MSI            (1<<3)      /* 03: [V4] Message Signaled Interrupts (MSI) must not be enabled */
338 #define ACPI_FADT_NO_ASPM           (1<<4)      /* 04: [V4] PCIe ASPM control must not be enabled */
339 #define ACPI_FADT_NO_CMOS_RTC       (1<<5)      /* 05: [V5] No CMOS real-time clock present */
340 
341 /* Masks for FADT ARM Boot Architecture Flags (arm_boot_flags) ACPI 5.1 */
342 
343 #define ACPI_FADT_PSCI_COMPLIANT    (1)         /* 00: [V5+] PSCI 0.2+ is implemented */
344 #define ACPI_FADT_PSCI_USE_HVC      (1<<1)      /* 01: [V5+] HVC must be used instead of SMC as the PSCI conduit */
345 
346 /* Masks for FADT flags */
347 
348 #define ACPI_FADT_WBINVD            (1)         /* 00: [V1] The WBINVD instruction works properly */
349 #define ACPI_FADT_WBINVD_FLUSH      (1<<1)      /* 01: [V1] WBINVD flushes but does not invalidate caches */
350 #define ACPI_FADT_C1_SUPPORTED      (1<<2)      /* 02: [V1] All processors support C1 state */
351 #define ACPI_FADT_C2_MP_SUPPORTED   (1<<3)      /* 03: [V1] C2 state works on MP system */
352 #define ACPI_FADT_POWER_BUTTON      (1<<4)      /* 04: [V1] Power button is handled as a control method device */
353 #define ACPI_FADT_SLEEP_BUTTON      (1<<5)      /* 05: [V1] Sleep button is handled as a control method device */
354 #define ACPI_FADT_FIXED_RTC         (1<<6)      /* 06: [V1] RTC wakeup status is not in fixed register space */
355 #define ACPI_FADT_S4_RTC_WAKE       (1<<7)      /* 07: [V1] RTC alarm can wake system from S4 */
356 #define ACPI_FADT_32BIT_TIMER       (1<<8)      /* 08: [V1] ACPI timer width is 32-bit (0=24-bit) */
357 #define ACPI_FADT_DOCKING_SUPPORTED (1<<9)      /* 09: [V1] Docking supported */
358 #define ACPI_FADT_RESET_REGISTER    (1<<10)     /* 10: [V2] System reset via the FADT RESET_REG supported */
359 #define ACPI_FADT_SEALED_CASE       (1<<11)     /* 11: [V3] No internal expansion capabilities and case is sealed */
360 #define ACPI_FADT_HEADLESS          (1<<12)     /* 12: [V3] No local video capabilities or local input devices */
361 #define ACPI_FADT_SLEEP_TYPE        (1<<13)     /* 13: [V3] Must execute native instruction after writing  SLP_TYPx register */
362 #define ACPI_FADT_PCI_EXPRESS_WAKE  (1<<14)     /* 14: [V4] System supports PCIEXP_WAKE (STS/EN) bits (ACPI 3.0) */
363 #define ACPI_FADT_PLATFORM_CLOCK    (1<<15)     /* 15: [V4] OSPM should use platform-provided timer (ACPI 3.0) */
364 #define ACPI_FADT_S4_RTC_VALID      (1<<16)     /* 16: [V4] Contents of RTC_STS valid after S4 wake (ACPI 3.0) */
365 #define ACPI_FADT_REMOTE_POWER_ON   (1<<17)     /* 17: [V4] System is compatible with remote power on (ACPI 3.0) */
366 #define ACPI_FADT_APIC_CLUSTER      (1<<18)     /* 18: [V4] All local APICs must use cluster model (ACPI 3.0) */
367 #define ACPI_FADT_APIC_PHYSICAL     (1<<19)     /* 19: [V4] All local xAPICs must use physical dest mode (ACPI 3.0) */
368 #define ACPI_FADT_HW_REDUCED        (1<<20)     /* 20: [V5] ACPI hardware is not implemented (ACPI 5.0) */
369 #define ACPI_FADT_LOW_POWER_S0      (1<<21)     /* 21: [V5] S0 power savings are equal or better than S3 (ACPI 5.0) */
370 
371 
372 /* Values for PreferredProfile (Preferred Power Management Profiles) */
373 
374 enum AcpiPreferredPmProfiles
375 {
376     PM_UNSPECIFIED          = 0,
377     PM_DESKTOP              = 1,
378     PM_MOBILE               = 2,
379     PM_WORKSTATION          = 3,
380     PM_ENTERPRISE_SERVER    = 4,
381     PM_SOHO_SERVER          = 5,
382     PM_APPLIANCE_PC         = 6,
383     PM_PERFORMANCE_SERVER   = 7,
384     PM_TABLET               = 8
385 };
386 
387 /* Values for SleepStatus and SleepControl registers (V5+ FADT) */
388 
389 #define ACPI_X_WAKE_STATUS          0x80
390 #define ACPI_X_SLEEP_TYPE_MASK      0x1C
391 #define ACPI_X_SLEEP_TYPE_POSITION  0x02
392 #define ACPI_X_SLEEP_ENABLE         0x20
393 
394 
395 /* Reset to default packing */
396 
397 #pragma pack()
398 
399 
400 /*
401  * Internal table-related structures
402  */
403 typedef union acpi_name_union
404 {
405     UINT32                          Integer;
406     char                            Ascii[4];
407 
408 } ACPI_NAME_UNION;
409 
410 
411 /* Internal ACPI Table Descriptor. One per ACPI table. */
412 
413 typedef struct acpi_table_desc
414 {
415     ACPI_PHYSICAL_ADDRESS           Address;
416     ACPI_TABLE_HEADER               *Pointer;
417     UINT32                          Length;     /* Length fixed at 32 bits (fixed in table header) */
418     ACPI_NAME_UNION                 Signature;
419     ACPI_OWNER_ID                   OwnerId;
420     UINT8                           Flags;
421 
422 } ACPI_TABLE_DESC;
423 
424 /* Masks for Flags field above */
425 
426 #define ACPI_TABLE_ORIGIN_EXTERNAL_VIRTUAL  (0) /* Virtual address, external maintained */
427 #define ACPI_TABLE_ORIGIN_INTERNAL_PHYSICAL (1) /* Physical address, internally mapped */
428 #define ACPI_TABLE_ORIGIN_INTERNAL_VIRTUAL  (2) /* Virtual address, internallly allocated */
429 #define ACPI_TABLE_ORIGIN_MASK              (3)
430 #define ACPI_TABLE_IS_LOADED                (8)
431 
432 
433 /*
434  * Get the remaining ACPI tables
435  */
436 #include "actbl1.h"
437 #include "actbl2.h"
438 #include "actbl3.h"
439 
440 /* Macros used to generate offsets to specific table fields */
441 
442 #define ACPI_FADT_OFFSET(f)             (UINT16) ACPI_OFFSET (ACPI_TABLE_FADT, f)
443 
444 /*
445  * Sizes of the various flavors of FADT. We need to look closely
446  * at the FADT length because the version number essentially tells
447  * us nothing because of many BIOS bugs where the version does not
448  * match the expected length. In other words, the length of the
449  * FADT is the bottom line as to what the version really is.
450  *
451  * For reference, the values below are as follows:
452  *     FADT V1 size: 0x074
453  *     FADT V2 size: 0x084
454  *     FADT V3 size: 0x0F4
455  *     FADT V4 size: 0x0F4
456  *     FADT V5 size: 0x10C
457  *     FADT V6 size: 0x114
458  */
459 #define ACPI_FADT_V1_SIZE       (UINT32) (ACPI_FADT_OFFSET (Flags) + 4)
460 #define ACPI_FADT_V2_SIZE       (UINT32) (ACPI_FADT_OFFSET (MinorRevision) + 1)
461 #define ACPI_FADT_V3_SIZE       (UINT32) (ACPI_FADT_OFFSET (SleepControl))
462 #define ACPI_FADT_V5_SIZE       (UINT32) (ACPI_FADT_OFFSET (HypervisorId))
463 #define ACPI_FADT_V6_SIZE       (UINT32) (sizeof (ACPI_TABLE_FADT))
464 
465 #endif /* __ACTBL_H__ */
466