/* Install the ACPI table as a configuration table. */
efi_status_t efi_acpi_register(void)
/* Install the ACPI table as a configuration table. */
efi_status_t efi_acpi_register(void)
{
	u64 acpi = U32_MAX;
	efi_status_t ret;
	ret = efi_allocate_pages(EFI_ALLOCATE_MAX_ADDRESS,
				 EFI_RUNTIME_SERVICES_DATA, 16, &acpi);
	if (ret != EFI_SUCCESS)
		return ret;
	assert(!(acpi & 0xf));
	write_acpi_tables(acpi);
	return efi_install_configuration_table(&acpi_guid,
					       (void *)(uintptr_t)acpi);
}