Lines Matching full:acpi
30 #include <Guid/Acpi.h>
31 #include <acpi.h>
34 /* For ACPI rsdp discovery. */
35 EFI_GUID acpi = ACPI_TABLE_GUID; variable
47 if ((rsdp = efi_get_table(&acpi)) == NULL) in acpi_detect()
51 setenv("acpi.rsdp", buf, 1); in acpi_detect()
56 setenv("acpi.revision", buf, 1); in acpi_detect()
59 setenv("acpi.oem", buf, 1); in acpi_detect()
61 setenv("acpi.rsdt", buf, 1); in acpi_detect()
66 setenv("acpi.xsdt", buf, 1); in acpi_detect()
68 setenv("acpi.xsdt_length", buf, 1); in acpi_detect()