Searched refs:dsdt_addr (Results 1 – 1 of 1) sorted by relevance
1652 uint32_t base_addr, rsdt_addr, fadt_addr, addr, facs_addr, dsdt_addr, ssdt_addr; in acpi_bios_init() local1691 dsdt_addr = addr; in acpi_bios_init()1751 fadt->dsdt = cpu_to_le32(dsdt_addr); in acpi_bios_init()