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

/seL4-camkes-master/kernel/src/arch/arm/kernel/
H A Dboot.c45 BOOT_CODE static void arch_init_freemem(p_region_t ui_p_reg, p_region_t dtb_p_reg, v_region_t it_v_reg, argument
89 init_freemem(get_num_avail_p_regs(), get_avail_p_regs(), index, reserved, it_v_reg, extra_bi_size_bits); local
337 v_region_t it_v_reg; local
361 it_v_reg.start = ui_v_reg.start;
362 it_v_reg.end = extra_bi_frame_vptr + BIT(extra_bi_size_bits);
364 if (it_v_reg.end >= USER_TOP) {
383 arch_init_freemem(ui_p_reg, dtb_p_reg, it_v_reg, extra_bi_size_bits);
434 it_pd_cap = create_it_address_space(root_cnode_cap, it_v_reg);
/seL4-camkes-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h17 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dboot.c132 v_region_t it_v_reg; local
158 it_v_reg.start = ui_v_reg.start;
159 it_v_reg.end = ROUND_UP(extra_bi_frame_vptr + BIT(extra_bi_size_bits), PAGE_BITS);
167 arch_init_freemem(ui_info.p_reg, it_v_reg, mem_p_regs, extra_bi_size_bits);
253 it_vspace_cap = create_it_address_space(root_cnode_cap, it_v_reg);
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dboot.c221 v_region_t it_v_reg; local
246 it_v_reg.start = ui_v_reg.start;
247 it_v_reg.end = extra_bi_frame_vptr + BIT(extra_bi_size_bits);
258 arch_init_freemem(ui_reg, it_v_reg, dtb_reg, extra_bi_size_bits);
296 it_pd_cap = create_it_address_space(root_cnode_cap, it_v_reg);
H A Dvspace.c251 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) argument
255 n += get_n_paging(it_v_reg, RISCV_GET_LVL_PGSIZE_BITS(i));
262 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
283 for (pt_vptr = ROUND_DOWN(it_v_reg.start, RISCV_GET_LVL_PGSIZE_BITS(i));
284 pt_vptr < it_v_reg.end;
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c422 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) argument
424 word_t n = get_n_paging(it_v_reg, PT_INDEX_BITS + PAGE_BITS);
433 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
448 for (vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS);
449 vptr < it_v_reg.end;
/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h14 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c679 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) argument
681 word_t n = get_n_paging(it_v_reg, PD_INDEX_OFFSET);
682 n += get_n_paging(it_v_reg, PDPT_INDEX_OFFSET);
683 n += get_n_paging(it_v_reg, PML4_INDEX_OFFSET);
690 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
709 for (vptr = ROUND_DOWN(it_v_reg.start, PML4_INDEX_OFFSET);
710 vptr < it_v_reg.end;
720 for (vptr = ROUND_DOWN(it_v_reg.start, PDPT_INDEX_OFFSET);
721 vptr < it_v_reg.end;
731 for (vptr = ROUND_DOWN(it_v_reg
[all...]
/seL4-camkes-master/kernel/include/kernel/
H A Dboot.h52 v_region_t it_v_reg, word_t extra_bi_size_bits);
129 /* get the number of paging structures required to cover it_v_reg, with
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c460 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) argument
464 get_n_paging(it_v_reg, PGD_INDEX_OFFSET) +
466 get_n_paging(it_v_reg, PUD_INDEX_OFFSET) +
467 get_n_paging(it_v_reg, PD_INDEX_OFFSET);
470 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
488 for (vptr = ROUND_DOWN(it_v_reg.start, PGD_INDEX_OFFSET);
489 vptr < it_v_reg.end;
497 for (vptr = ROUND_DOWN(it_v_reg.start, PUD_INDEX_OFFSET);
498 vptr < it_v_reg.end;
506 for (vptr = ROUND_DOWN(it_v_reg
[all...]
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h66 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
/seL4-camkes-master/kernel/src/kernel/
H A Dboot.c708 v_region_t it_v_reg, word_t extra_bi_size_bits)
802 word_t size = calculate_rootserver_size(it_v_reg, extra_bi_size_bits);
808 create_rootserver_objects(start, it_v_reg, extra_bi_size_bits);
706 init_freemem(word_t n_available, const p_region_t *available, word_t n_reserved, region_t *reserved, v_region_t it_v_reg, word_t extra_bi_size_bits) argument
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c526 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) argument
528 return get_n_paging(it_v_reg, PT_INDEX_BITS + PAGE_BITS);
533 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
553 for (pt_vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS);
554 pt_vptr < it_v_reg.end;

Completed in 127 milliseconds