Searched refs:v_region_t (Results 1 - 19 of 19) sorted by relevance
| /seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | elf.h | 14 v_region_t elf_getMemoryBounds(Elf_Header_t *elfFile);
|
| H A D | vspace.h | 66 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
|
| /seL4-test-master/kernel/include/ |
| H A D | basic_types.h | 31 } v_region_t; typedef in typeref:struct:v_region
|
| /seL4-test-master/kernel/include/kernel/ |
| H A D | boot.h | 52 v_region_t it_v_reg, word_t extra_bi_size_bits);
95 v_region_t ui_v_reg,
132 static inline BOOT_CODE word_t get_n_paging(v_region_t v_reg, word_t bits)
149 word_t arch_get_n_paging(v_region_t it_veg);
153 void create_rootserver_objects(pptr_t start, v_region_t v_reg, word_t extra_bi_size_bits);
|
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | elf.c | 23 BOOT_CODE v_region_t elf_getMemoryBounds(Elf32_Header_t *elfFile)
26 v_region_t elf_reg;
|
| H A D | vspace.c | 422 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg)
433 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg)
|
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | elf.c | 22 BOOT_CODE v_region_t elf_getMemoryBounds(Elf64_Header_t *elf)
24 v_region_t elf_reg;
|
| H A D | vspace.c | 679 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg)
690 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg)
|
| /seL4-test-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-test-master/kernel/src/arch/x86/kernel/ |
| H A D | boot.c | 88 BOOT_CODE static void arch_init_freemem(p_region_t ui_p_reg, v_region_t v_reg,
131 v_region_t ui_v_reg;
132 v_region_t it_v_reg;
|
| H A D | boot_sys.c | 82 v_region_t v_reg;
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | boot.c | 77 BOOT_CODE static void arch_init_freemem(region_t ui_reg, v_region_t ui_v_reg,
220 v_region_t ui_v_reg;
221 v_region_t it_v_reg;
|
| H A D | vspace.c | 251 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg)
262 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg)
|
| /seL4-test-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-test-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,
336 v_region_t ui_v_reg;
337 v_region_t it_v_reg;
|
| /seL4-test-master/kernel/src/plat/pc99/machine/ |
| H A D | intel-vtd.c | 305 v_region_t region = (v_region_t) {
|
| /seL4-test-master/kernel/src/kernel/ |
| H A D | boot.c | 147 BOOT_CODE static word_t calculate_rootserver_size(v_region_t v_reg, word_t extra_bi_size_bits)
170 BOOT_CODE void create_rootserver_objects(pptr_t start, v_region_t v_reg, word_t extra_bi_size_bits)
708 v_region_t it_v_reg, word_t extra_bi_size_bits)
|
| /seL4-test-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)
533 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg)
|
| /seL4-test-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)
470 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg)
|
Completed in 100 milliseconds