Searched refs:PAGE_BITS (Results 26 - 37 of 37) sorted by relevance
12
/seL4-refos-master/kernel/src/arch/arm/32/machine/ |
H A D | capdl.c | 15 #define PT_INDEX(vptr) ((vptr >> PAGE_BITS) & MASK(PT_INDEX_BITS)) 16 #define PD_INDEX(vptr) (vptr >> (PAGE_BITS + PT_INDEX_BITS)) 118 while (i < BIT(PT_INDEX_BITS + PAGE_BITS)) { 407 while (i < BIT(PT_INDEX_BITS + PAGE_BITS)) {
|
/seL4-refos-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 305 while (idx < (KDEV_BASE &MASK(LARGE_PAGE_BITS)) >> PAGE_BITS) { 424 word_t n = get_n_paging(it_v_reg, PT_INDEX_BITS + PAGE_BITS); 448 for (vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS); 450 vptr += BIT(PT_INDEX_BITS + PAGE_BITS)) {
|
H A D | vspace_32paging.c | 25 pde_t _boot_pd[BIT(PD_INDEX_BITS)] ALIGN(BIT(PAGE_BITS)) VISIBLE PHYS_BSS; 162 pdIndex = vptr >> (PAGE_BITS + PT_INDEX_BITS);
|
/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | boot_sys.c | 98 v_reg.end = ROUND_UP(v_reg.end, PAGE_BITS); 107 if (!IS_ALIGNED(v_reg.start, PAGE_BITS)) { 111 if (v_reg.end + 2 * BIT(PAGE_BITS) > USER_TOP) { 454 mods_end_paddr = ROUND_UP(mods_end_paddr, PAGE_BITS); 580 avail.end = ROUND_DOWN(avail.start + (mbi->part1.mem_upper << 10), PAGE_BITS);
|
H A D | vspace.c | 130 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); 629 current_lookup_fault = lookup_fault_missing_capability_new(PAGE_BITS + PT_INDEX_BITS); 639 ptIndex = (vptr >> PAGE_BITS) [all...] |
/seL4-refos-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 330 for (idx = 0; idx < (USER_TOP - 0xC0000000) >> (PT_INDEX_BITS + PAGE_BITS); idx++) { 351 phys += BIT(PT_INDEX_BITS + PAGE_BITS); 374 phys += BIT(PAGE_BITS); 411 idx = (seL4_GlobalsFrame >> PAGE_BITS) & (MASK(PT_INDEX_BITS)); 528 return get_n_paging(it_v_reg, PT_INDEX_BITS + PAGE_BITS); 553 for (pt_vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS); 555 pt_vptr += BIT(PT_INDEX_BITS + PAGE_BITS)) { 729 pdIndex = vptr >> (PAGE_BITS + PT_INDEX_BITS); 741 current_lookup_fault = lookup_fault_missing_capability_new(PT_INDEX_BITS + PAGE_BITS); 751 ptIndex = (vptr >> PAGE_BITS) [all...] |
/seL4-refos-master/kernel/src/arch/x86/object/ |
H A D | iospace.c | 117 return lookupIOPTSlot_resolve_levels(iopt, io_address >> PAGE_BITS, 337 io_address = getSyscallArg(1, buffer) & ~MASK(PAGE_BITS); 434 lu_ret = lookupIOPTSlot_resolve_levels(vtd_pte, io_address >> PAGE_BITS, level - 1, level - 1);
|
/seL4-refos-master/kernel/src/arch/arm/kernel/ |
H A D | boot.c | 342 bi_frame_vptr = ipcbuf_vptr + BIT(PAGE_BITS); 343 extra_bi_frame_vptr = bi_frame_vptr + BIT(PAGE_BITS); 347 dtb_addr_start, ROUND_UP(dtb_addr_end, PAGE_BITS)
|
/seL4-refos-master/kernel/src/arch/arm/object/ |
H A D | iospace.c | 284 io_address = getSyscallArg(1, buffer) & ~MASK(PAGE_BITS);
|
/seL4-refos-master/kernel/src/kernel/ |
H A D | boot.c | 282 clearMemory((void *)rootserver.ipc_buf, PAGE_BITS); 359 for (f = reg.start; f < reg.end; f += BIT(PAGE_BITS)) {
|
/seL4-refos-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 941 addr = GET_PAR_ADDR(ats1e1r(addr)) | (addr & MASK(PAGE_BITS)); 956 pc = GET_PAR_ADDR(ats1e1r(pc)) | (pc & MASK(PAGE_BITS));
|
/seL4-refos-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 1223 physical_address += BIT(PAGE_BITS);
|
Completed in 90 milliseconds
12