acpi_tb_setup_fadt_registers   26 drivers/acpi/acpica/tbfadt.c static void acpi_tb_setup_fadt_registers(void);
acpi_tb_setup_fadt_registers  392 drivers/acpi/acpica/tbfadt.c 	acpi_tb_setup_fadt_registers();