Searched refs:acpi20 (Results 1 – 6 of 6) sorted by relevance
31 .acpi20 = EFI_INVALID_TABLE_ADDR,93 if (efi.acpi20 != EFI_INVALID_TABLE_ADDR) in systab_show()94 str += sprintf(str, "ACPI20=0x%lx\n", efi.acpi20); in systab_show()361 {ACPI_20_TABLE_GUID, "ACPI 2.0", &efi.acpi20},
171 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()
295 .acpi20 = EFI_INVALID_TABLE_ADDR,
260 if (efi.acpi20 != EFI_INVALID_TABLE_ADDR) in acpi_os_get_root_pointer()261 return efi.acpi20; in acpi_os_get_root_pointer()
834 unsigned long acpi20; /* ACPI table (ACPI 2.0) */ member