Symbol: acpi_tb_setup_fadt_registers
drivers/acpi/acpica/tbfadt.c
26
static void acpi_tb_setup_fadt_registers(void);
drivers/acpi/acpica/tbfadt.c
388
acpi_tb_setup_fadt_registers();