| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/ |
| H A D | iospace.h | 33 create_iospace_caps(cap_t root_cnode_cap) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/ |
| H A D | boot.c | 155 init_irqs(cap_t root_cnode_cap) argument
192 create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
367 cap_t root_cnode_cap; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
| H A D | iospace.c | 101 create_iospace_caps(cap_t root_cnode_cap) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | boot.c | 41 create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
188 init_irqs(cap_t root_cnode_cap) argument
236 cap_t root_cnode_cap; local
[all...] |
| H A D | vspace.c | 239 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | boot.c | 33 init_irqs(cap_t root_cnode_cap) argument
260 cap_t root_cnode_cap; local
174 create_untypeds( cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | boot.c | 190 create_domain_cap(cap_t root_cnode_cap) argument
208 create_ipcbuf_frame(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) argument
303 provide_cap(cap_t root_cnode_cap, cap_t cap) argument
229 create_bi_frame_cap( cap_t root_cnode_cap, cap_t pd_cap, pptr_t pptr, vptr_t vptr ) argument
315 create_frames_of_region( cap_t root_cnode_cap, cap_t pd_cap, region_t reg, bool_t do_map, sword_t pv_offset ) argument
350 create_it_asid_pool(cap_t root_cnode_cap) argument
401 create_initial_thread( cap_t root_cnode_cap, cap_t it_pd_cap, vptr_t ui_v_entry, vptr_t bi_frame_vptr, vptr_t ipcbuf_vptr, cap_t ipcbuf_cap ) argument
500 provide_untyped_cap( cap_t root_cnode_cap, bool_t device_memory, pptr_t pptr, word_t size_bits, seL4_SlotPos first_untyped_slot ) argument
526 create_untypeds_for_region( cap_t root_cnode_cap, bool_t device_memory, region_t reg, seL4_SlotPos first_untyped_slot ) argument
565 create_kernel_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg, seL4_SlotPos first_untyped_slot) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 442 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 697 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 553 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 490 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
|