Home
last modified time | relevance | path

Searched refs:acpi_write_rsdp (Results 1 – 1 of 1) sorted by relevance

/external/u-boot/arch/x86/lib/
Dacpi_table.c32 static void acpi_write_rsdp(struct acpi_rsdp *rsdp, struct acpi_rsdt *rsdt, in acpi_write_rsdp() function
402 acpi_write_rsdp(rsdp, rsdt, xsdt); in write_acpi_tables()