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

/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dacpi.c194 unsigned long offset_in_page = (unsigned long)entry & MASK(LARGE_PAGE_BITS); local
195 if (MASK(LARGE_PAGE_BITS) - offset_in_page < sizeof(acpi_rsdp_t)) {
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;
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c337 unsigned int offset_in_page; local
363 offset_in_page = (unsigned int)(entry) & MASK(LARGE_PAGE_BITS);
364 replacement_vaddr = (void *)(virt_pg_start + offset_in_page);

Completed in 45 milliseconds