acpi_tb_convert_fadt   24 drivers/acpi/acpica/tbfadt.c static void acpi_tb_convert_fadt(void);
acpi_tb_convert_fadt  388 drivers/acpi/acpica/tbfadt.c 	acpi_tb_convert_fadt();