Searched refs:acpi20 (Results 1 – 2 of 2) sorted by relevance
136 u64 acpi20; /* ACPI table (ACPI 2.0) */ member
70 if (efi.acpi20 != EFI_INVALID_TABLE_ADDR) in acpi_find_rsdp()71 rsdp_phys = efi.acpi20; in acpi_find_rsdp()