Searched refs:acpi20 (Results 1 – 7 of 7) sorted by relevance
42 .acpi20 = EFI_INVALID_TABLE_ADDR,142 if (efi.acpi20 != EFI_INVALID_TABLE_ADDR) in systab_show()143 str += sprintf(str, "ACPI20=0x%lx\n", efi.acpi20); in systab_show()616 {ACPI_20_TABLE_GUID, &efi.acpi20, "ACPI 2.0" },
191 u64 acpi20; /* ACPI table (ACPI 2.0) */ member
136 efi.acpi20 == EFI_INVALID_TABLE_ADDR)) in acpi_boot_table_init()
197 if (efi.acpi20 != EFI_INVALID_TABLE_ADDR) in setup_efi_state()198 params->acpi_rsdp_addr = efi.acpi20; in setup_efi_state()
210 if (efi.acpi20 != EFI_INVALID_TABLE_ADDR) in acpi_os_get_root_pointer()211 return efi.acpi20; in acpi_os_get_root_pointer()
70 &efi.acpi20,
643 unsigned long acpi20; /* ACPI table (ACPI 2.0) */ member