fadt_header       558 arch/ia64/kernel/acpi.c 	struct acpi_table_header *fadt_header;
fadt_header       561 arch/ia64/kernel/acpi.c 	fadt_header = (struct acpi_table_header *)table;
fadt_header       562 arch/ia64/kernel/acpi.c 	if (fadt_header->revision != 3)
fadt_header       565 arch/ia64/kernel/acpi.c 	fadt = (struct acpi_table_fadt *)fadt_header;