Searched refs:PAGE_BITS (Results 26 - 37 of 37) sorted by relevance

12

/seL4-refos-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c15 #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 Dvspace.c305 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 Dvspace_32paging.c25 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 Dboot_sys.c98 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 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);
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 Dvspace.c330 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 Diospace.c117 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 Dboot.c342 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 Diospace.c284 io_address = getSyscallArg(1, buffer) & ~MASK(PAGE_BITS);
/seL4-refos-master/kernel/src/kernel/
H A Dboot.c282 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 Dvspace.c941 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 Dvspace.c1223 physical_address += BIT(PAGE_BITS);

Completed in 90 milliseconds

12