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();