/seL4-test-master/kernel/include/kernel/ |
H A D | boot.h | 57 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 D | boot.c | 31 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 D | boot.c | 35 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 D | vspace.c | 262 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 D | boot.c | 93 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 D | boot.c | 266 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 D | vspace.h | 17 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 D | iospace.h | 15 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 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/x86/32/kernel/ |
H A D | vspace.c | 433 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 D | iospace.c | 92 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 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/src/arch/x86/64/kernel/ |
H A D | vspace.c | 690 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 D | vspace.c | 470 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 D | vspace.c | 533 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,
|