acpi_select_address
acpi_select_address(fadt->Dsdt, fadt->XDsdt));
static uint64_t acpi_select_address(uint32_t, uint64_t);
if (acpi_select_address(fadt->Facs, fadt->XFacs) == 0) {
acpi_select_address(fadt->Facs, fadt->XFacs));
acpi_select_address(fadt->Dsdt, fadt->XDsdt));