Searched refs:pages_for_table (Results 1 - 1 of 1) sorted by relevance

/seL4-refos-master/kernel/src/plat/pc99/machine/
H A Dacpi.c190 unsigned int pages_for_table; local
205 pages_for_table = (rsdp_entry->length + offset_in_page) / MASK(LARGE_PAGE_BITS) + 1;
210 pages_for_table = (rsdt_entry->header.length + offset_in_page) / MASK(LARGE_PAGE_BITS) + 1;
220 acpi_table = map_temp_boot_page(entry, pages_for_table);

Completed in 79 milliseconds