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

/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c218 idx = PPTR_BASE >> LARGE_PAGE_BITS;
223 while (idx < (PPTR_TOP >> LARGE_PAGE_BITS)) {
238 phys += BIT(LARGE_PAGE_BITS);
259 phys += BIT(LARGE_PAGE_BITS);
260 assert(idx == (KS_LOG_PPTR >> LARGE_PAGE_BITS));
305 while (idx < (KDEV_BASE &MASK(LARGE_PAGE_BITS)) >> PAGE_BITS) {
339 unsigned int phys_pg_start = (unsigned int)(entry) & ~MASK(LARGE_PAGE_BITS);
340 unsigned int virt_pd_start = (PPTR_BASE >> LARGE_PAGE_BITS) - large_pages;
341 unsigned int virt_pg_start = PPTR_BASE - (large_pages << LARGE_PAGE_BITS);
344 unsigned int pg_offset = i << LARGE_PAGE_BITS; // nu
[all...]
/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dhardware.h16 #define LARGE_PAGE_BITS seL4_LargePageBits macro
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dacpi.c194 unsigned long offset_in_page = (unsigned long)entry & MASK(LARGE_PAGE_BITS);
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-test-master/kernel/src/arch/x86/kernel/
H A Dept.c781 if (LARGE_PAGE_BITS == 22) {
923 if (LARGE_PAGE_BITS != EPT_PD_INDEX_OFFSET &&
1016 if (LARGE_PAGE_BITS != EPT_PD_INDEX_OFFSET) {
H A Dvspace.c130 word_t idx = (KDEV_BASE & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS;
146 assert(idx == (PPTR_APIC & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS);
157 assert(idx == ((PPTR_IOAPIC_START + i * BIT(PAGE_BITS)) & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS);
167 assert(idx == ((PPTR_IOAPIC_START + i * BIT(PAGE_BITS)) & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS);
182 assert(idx == ((PPTR_DRHU_START + i * BIT(PAGE_BITS)) & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS);

Completed in 114 milliseconds