acpi_tb_select_address   29 drivers/acpi/acpica/tbfadt.c acpi_tb_select_address(char *register_name, u32 address32, u64 address64);
acpi_tb_select_address  477 drivers/acpi/acpica/tbfadt.c 	acpi_gbl_FADT.Xdsdt = acpi_tb_select_address("DSDT",