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

/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dacpi.c204 acpi_rsdp_t *rsdp_entry = (acpi_rsdp_t *)entry; local
205 pages_for_table = (rsdp_entry->length + offset_in_page) / MASK(LARGE_PAGE_BITS) + 1;

Completed in 86 milliseconds