/seL4-camkes-master/kernel/src/arch/arm/kernel/ |
H A D | boot.c | 45 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 D | vspace.h | 17 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 D | boot.c | 132 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 D | boot.c | 221 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 D | vspace.c | 251 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 D | vspace.c | 422 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 D | vspace.h | 14 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 D | vspace.c | 679 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 D | boot.h | 52 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 D | vspace.c | 460 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 D | vspace.h | 66 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 D | boot.c | 708 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 D | vspace.c | 526 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;
|