Searched refs:acpi_start (Results 1 – 2 of 2) sorted by relevance
17 const uintptr_t acpi_start = (uintptr_t)cbmem_add(CBMEM_ID_ACPI, max_acpi_size); in write_acpi_table() local18 assert(IS_ALIGNED(acpi_start, 16)); in write_acpi_table()19 const uintptr_t acpi_end = write_acpi_tables(acpi_start); in write_acpi_table()20 assert(acpi_end < acpi_start + max_acpi_size); in write_acpi_table()21 printk(BIOS_DEBUG, "ACPI tables: %ld bytes.\n", acpi_end - acpi_start); in write_acpi_table()
98 unsigned long acpi_start = high_table_pointer; in write_acpi_table() local114 while (acpi_start < new_high_table_pointer) { in write_acpi_table()115 if (memcmp(((acpi_rsdp_t *)acpi_start)->signature, in write_acpi_table()118 acpi_start++; in write_acpi_table()124 if (acpi_start < new_high_table_pointer) { in write_acpi_table()126 *high_rsdp = (acpi_rsdp_t *)acpi_start; in write_acpi_table()