/* Types that are specific to particular ACPI tables */