Searched defs:it_v_reg (Results 1 - 9 of 9) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | boot.c | 132 v_region_t it_v_reg; local
|
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | boot.c | 221 v_region_t it_v_reg; local
|
| H A D | vspace.c | 251 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) argument
262 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
|
| /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
|
| /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
433 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
|
| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | boot.c | 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/x86/64/kernel/ |
| H A D | vspace.c | 679 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) argument
690 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
[all...] |
| /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
533 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
|
| /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
470 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
[all...] |
Completed in 53 milliseconds