acpi_handle_fadt
{ ACPI_SIG_FADT, acpi_handle_fadt },
static void acpi_handle_fadt(ACPI_TABLE_HEADER *fadt);