Searched refs:root_cnode_cap (Results 1 - 15 of 15) sorted by relevance

/seL4-test-master/kernel/include/kernel/
H A Dboot.h57 bool_t provide_cap(cap_t root_cnode_cap, cap_t cap);
58 cap_t create_it_asid_pool(cap_t root_cnode_cap);
59 void write_it_pd_pts(cap_t root_cnode_cap, cap_t it_pd_cap);
61 bool_t create_untypeds_for_region(cap_t root_cnode_cap, bool_t device_memory, region_t reg,
63 bool_t create_device_untypeds(cap_t root_cnode_cap, seL4_SlotPos slot_pos_before);
64 bool_t create_kernel_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg, seL4_SlotPos first_untyped_slot);
66 void create_domain_cap(cap_t root_cnode_cap);
68 cap_t create_ipcbuf_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr);
72 void create_bi_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr);
75 bool_t init_sched_control(cap_t root_cnode_cap, word_
[all...]
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dboot.c31 BOOT_CODE static void init_irqs(cap_t root_cnode_cap) argument
67 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapIRQControl), cap_irq_control_cap_new());
71 cap_t root_cnode_cap,
78 create_device_untypeds(root_cnode_cap, slot_pos_before);
79 create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before);
113 cap_t root_cnode_cap; local
170 root_cnode_cap = create_root_cnode();
174 SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapIOPortControl),
179 create_domain_cap(root_cnode_cap);
182 init_irqs(root_cnode_cap);
70 create_untypeds( cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
[all...]
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dboot.c35 BOOT_CODE static bool_t create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
41 create_device_untypeds(root_cnode_cap, slot_pos_before);
42 bool_t res = create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before);
101 BOOT_CODE static void init_irqs(cap_t root_cnode_cap) argument
117 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapIRQControl), cap_irq_control_cap_new());
199 cap_t root_cnode_cap; local
261 root_cnode_cap = create_root_cnode();
262 if (cap_get_capType(root_cnode_cap) == cap_null_cap) {
267 create_domain_cap(root_cnode_cap);
270 init_irqs(root_cnode_cap);
[all...]
H A Dvspace.c262 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
278 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), lvl1pt_cap);
286 if (!provide_cap(root_cnode_cap,
/seL4-test-master/kernel/src/arch/arm/kernel/
H A Dboot.c93 BOOT_CODE static void init_irqs(cap_t root_cnode_cap) argument
127 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapIRQControl), cap_irq_control_cap_new());
131 BOOT_CODE static void init_smmu(cap_t root_cnode_cap) argument
135 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapSMMUSIDControl), cap_sid_control_cap_new());
136 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapSMMUCBControl), cap_cb_control_cap_new());
141 BOOT_CODE static bool_t create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
147 create_device_untypeds(root_cnode_cap, slot_pos_before);
148 create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before);
318 cap_t root_cnode_cap; local
386 root_cnode_cap
[all...]
/seL4-test-master/kernel/src/kernel/
H A Dboot.c266 create_domain_cap(cap_t root_cnode_cap) argument
276 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapDomain), cap);
280 BOOT_CODE cap_t create_ipcbuf_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) argument
286 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadIPCBuffer), cap);
291 BOOT_CODE void create_bi_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) argument
295 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapBootInfoFrame), cap);
333 BOOT_CODE bool_t provide_cap(cap_t root_cnode_cap, cap_t cap) argument
339 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), ndks_boot.slot_pos_cur), cap);
345 cap_t root_cnode_cap,
365 if (!provide_cap(root_cnode_cap, frame_ca
344 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
378 create_it_asid_pool(cap_t root_cnode_cap) argument
402 init_sched_control(cap_t root_cnode_cap, word_t num_nodes) argument
454 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
559 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
584 create_untypeds_for_region( cap_t root_cnode_cap, bool_t device_memory, region_t reg, seL4_SlotPos first_untyped_slot ) argument
622 create_device_untypeds(cap_t root_cnode_cap, seL4_SlotPos slot_pos_before) argument
656 create_kernel_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg, seL4_SlotPos first_untyped_slot) argument
[all...]
/seL4-test-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h17 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
18 bool_t create_device_frames(cap_t root_cnode_cap);
/seL4-test-master/kernel/include/arch/arm/arch/object/
H A Diospace.h15 seL4_SlotRegion create_iospace_caps(cap_t root_cnode_cap);
29 static inline seL4_SlotRegion create_iospace_caps(cap_t root_cnode_cap) argument
/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h14 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c433 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
443 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), pd_cap);
451 if (!provide_cap(root_cnode_cap,
/seL4-test-master/kernel/src/arch/arm/object/
H A Diospace.c92 BOOT_CODE seL4_SlotRegion create_iospace_caps(cap_t root_cnode_cap) argument
111 if (!provide_cap(root_cnode_cap, io_space_cap)) {
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h66 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 Dvspace.c690 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
706 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), vspace_cap);
712 if (!provide_cap(root_cnode_cap,
723 if (!provide_cap(root_cnode_cap,
734 if (!provide_cap(root_cnode_cap,
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c470 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
484 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), vspace_cap);
491 if (!provide_cap(root_cnode_cap, create_it_pud_cap(vspace_cap, it_alloc_paging(), vptr, IT_ASID))) {
500 if (!provide_cap(root_cnode_cap, create_it_pd_cap(vspace_cap, it_alloc_paging(), vptr, IT_ASID))) {
509 if (!provide_cap(root_cnode_cap, create_it_pt_cap(vspace_cap, it_alloc_paging(), vptr, IT_ASID))) {
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c533 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) argument
550 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), pd_cap);
556 if (!provide_cap(root_cnode_cap,

Completed in 114 milliseconds