Searched refs:acpi20 (Results 1 – 6 of 6) sorted by relevance
61 if (efi.acpi20 == EFI_INVALID_TABLE_ADDR) { in uv_probe_system_type()66 rsdp = (struct acpi_table_rsdp *)__va(efi.acpi20); in uv_probe_system_type()
40 .acpi20 = EFI_INVALID_TABLE_ADDR,123 if (efi.acpi20 != EFI_INVALID_TABLE_ADDR) in systab_show()124 str += sprintf(str, "ACPI20=0x%lx\n", efi.acpi20); in systab_show()512 {ACPI_20_TABLE_GUID, &efi.acpi20, "ACPI 2.0" },
184 u64 acpi20; /* ACPI table (ACPI 2.0) */ member
208 if (efi.acpi20 != EFI_INVALID_TABLE_ADDR) in acpi_os_get_root_pointer()209 return efi.acpi20; in acpi_os_get_root_pointer()
74 &efi.acpi20,
547 unsigned long acpi20; /* ACPI table (ACPI 2.0) */ member