ACPI_HEADER_SIZE
while (table_offset + ACPI_HEADER_SIZE <= all_tables_size) {
ACPI_HEADER_SIZE);
acpi_os_unmap_memory(table, ACPI_HEADER_SIZE);
acpi_os_unmap_memory(table, ACPI_HEADER_SIZE);
acpi_os_unmap_memory(table, ACPI_HEADER_SIZE);
acpi_os_unmap_memory(table, ACPI_HEADER_SIZE);
while (table_offset + ACPI_HEADER_SIZE <= all_tables_size) {
ACPI_HEADER_SIZE);
acpi_os_unmap_memory(table, ACPI_HEADER_SIZE);
acpi_os_unmap_memory(table, ACPI_HEADER_SIZE);
acpi_os_unmap_memory(table, ACPI_HEADER_SIZE);
acpi_os_unmap_memory(table, ACPI_HEADER_SIZE);