/* * Sizes of the various flavors of FADT. We need to look closely * at the FADT length because the version number essentially tells * us nothing because of many BIOS bugs where the version does not * match the expected length. In other words, the length of the * FADT is the bottom line as to what the version really is. * * NOTE: There is no officialy released V2 of the FADT. This * version was used only for prototyping and testing during the * 32-bit to 64-bit transition. V3 was the first official 64-bit * version of the FADT. * * Update this list of defines when a new version of the FADT is * added to the ACPI specification. Note that the FADT version is * only incremented when new fields are appended to the existing * version. Therefore, the FADT version is competely independent * from the version of the ACPI specification where it is * defined. * * For reference, the various FADT lengths are as follows: * FADT V1 size: 0x074 ACPI 1.0 * FADT V3 size: 0x0F4 ACPI 2.0 * FADT V4 size: 0x100 ACPI 3.0 and ACPI 4.0 * FADT V5 size: 0x10C ACPI 5.0 * FADT V6 size: 0x114 ACPI 6.0 */