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