| /seL4-master/src/arch/riscv/kernel/ |
| A D | boot.c | 55 v_region_t it_v_reg, in arch_init_freemem() argument
88 it_v_reg, extra_bi_size_bits); in arch_init_freemem()
261 v_region_t it_v_reg = { in try_init_kernel() local
265 if (it_v_reg.end >= USER_TOP) { in try_init_kernel()
272 it_v_reg.start, it_v_reg.end, (word_t)USER_TOP); in try_init_kernel()
277 if (!arch_init_freemem(ui_reg, dtb_p_reg, it_v_reg, extra_bi_size_bits)) { in try_init_kernel()
320 it_pd_cap = create_it_address_space(root_cnode_cap, it_v_reg); in try_init_kernel()
|
| A D | vspace.c | 251 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) in arch_get_n_paging() argument
255 n += get_n_paging(it_v_reg, RISCV_GET_LVL_PGSIZE_BITS(i)); in arch_get_n_paging()
262 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) in create_it_address_space() argument
283 for (pt_vptr = ROUND_DOWN(it_v_reg.start, RISCV_GET_LVL_PGSIZE_BITS(i)); in create_it_address_space()
284 pt_vptr < it_v_reg.end; in create_it_address_space()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot.c | 71 v_region_t it_v_reg, in arch_init_freemem() argument
81 reserved, it_v_reg, extra_bi_size_bits); in arch_init_freemem()
120 v_region_t it_v_reg; in init_sys_state() local
146 it_v_reg.start = ui_v_reg.start; in init_sys_state()
147 it_v_reg.end = ROUND_UP(extra_bi_frame_vptr + BIT(extra_bi_size_bits), PAGE_BITS); in init_sys_state()
155 if (!arch_init_freemem(ui_info.p_reg, it_v_reg, mem_p_regs, extra_bi_size_bits)) { in init_sys_state()
244 it_vspace_cap = create_it_address_space(root_cnode_cap, it_v_reg); in init_sys_state()
|
| /seL4-master/src/arch/arm/kernel/ |
| A D | boot.c | 41 v_region_t it_v_reg, in arch_init_freemem() argument
113 it_v_reg, extra_bi_size_bits); in arch_init_freemem()
397 v_region_t it_v_reg = { in try_init_kernel() local
401 if (it_v_reg.end >= USER_TOP) { in try_init_kernel()
408 it_v_reg.start, it_v_reg.end, (word_t)USER_TOP); in try_init_kernel()
412 if (!arch_init_freemem(ui_p_reg, dtb_p_reg, it_v_reg, extra_bi_size_bits)) { in try_init_kernel()
469 it_pd_cap = create_it_address_space(root_cnode_cap, it_v_reg); in try_init_kernel()
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 422 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) in arch_get_n_paging() argument
424 word_t n = get_n_paging(it_v_reg, PT_INDEX_BITS + PAGE_BITS); in arch_get_n_paging()
433 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) in create_it_address_space() argument
448 for (vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS); in create_it_address_space()
449 vptr < it_v_reg.end; in create_it_address_space()
|
| /seL4-master/src/kernel/ |
| A D | boot.c | 154 BOOT_CODE static word_t calculate_rootserver_size(v_region_t it_v_reg, word_t extra_bi_size_bits) in calculate_rootserver_size() argument
168 return size + arch_get_n_paging(it_v_reg) * BIT(seL4_PageTableBits); in calculate_rootserver_size()
181 BOOT_CODE static void create_rootserver_objects(pptr_t start, v_region_t it_v_reg, in create_rootserver_objects() argument
188 word_t size = calculate_rootserver_size(it_v_reg, extra_bi_size_bits); in create_rootserver_objects()
218 word_t n = arch_get_n_paging(it_v_reg); in create_rootserver_objects()
790 v_region_t it_v_reg, word_t extra_bi_size_bits) in init_freemem() argument
881 word_t size = calculate_rootserver_size(it_v_reg, extra_bi_size_bits); in init_freemem()
905 create_rootserver_objects(start, it_v_reg, extra_bi_size_bits); in init_freemem()
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 679 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) in arch_get_n_paging() argument
681 word_t n = get_n_paging(it_v_reg, PD_INDEX_OFFSET); in arch_get_n_paging()
682 n += get_n_paging(it_v_reg, PDPT_INDEX_OFFSET); in arch_get_n_paging()
683 n += get_n_paging(it_v_reg, PML4_INDEX_OFFSET); in arch_get_n_paging()
690 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) in create_it_address_space() argument
709 for (vptr = ROUND_DOWN(it_v_reg.start, PML4_INDEX_OFFSET); in create_it_address_space()
710 vptr < it_v_reg.end; in create_it_address_space()
720 for (vptr = ROUND_DOWN(it_v_reg.start, PDPT_INDEX_OFFSET); in create_it_address_space()
721 vptr < it_v_reg.end; in create_it_address_space()
731 for (vptr = ROUND_DOWN(it_v_reg.start, PD_INDEX_OFFSET); in create_it_address_space()
[all …]
|
| /seL4-master/include/arch/arm/arch/kernel/ |
| A D | vspace.h | 17 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
|
| /seL4-master/include/arch/riscv/arch/kernel/ |
| A D | vspace.h | 14 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 465 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) in arch_get_n_paging() argument
469 get_n_paging(it_v_reg, PGD_INDEX_OFFSET) + in arch_get_n_paging()
471 get_n_paging(it_v_reg, PUD_INDEX_OFFSET) + in arch_get_n_paging()
472 get_n_paging(it_v_reg, PD_INDEX_OFFSET); in arch_get_n_paging()
475 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) in create_it_address_space() argument
493 for (vptr = ROUND_DOWN(it_v_reg.start, PGD_INDEX_OFFSET); in create_it_address_space()
494 vptr < it_v_reg.end; in create_it_address_space()
502 for (vptr = ROUND_DOWN(it_v_reg.start, PUD_INDEX_OFFSET); in create_it_address_space()
503 vptr < it_v_reg.end; in create_it_address_space()
511 for (vptr = ROUND_DOWN(it_v_reg.start, PD_INDEX_OFFSET); in create_it_address_space()
[all …]
|
| /seL4-master/include/kernel/ |
| A D | boot.h | 41 v_region_t it_v_reg, word_t extra_bi_size_bits);
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | vspace.h | 66 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 485 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) in arch_get_n_paging() argument
487 return get_n_paging(it_v_reg, PT_INDEX_BITS + PAGE_BITS); in arch_get_n_paging()
492 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) in create_it_address_space() argument
512 for (pt_vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS); in create_it_address_space()
513 pt_vptr < it_v_reg.end; in create_it_address_space()
|