| /seL4-camkes-master/kernel/include/arch/arm/arch/object/ |
| H A D | iospace.h | 29 static inline seL4_SlotRegion create_iospace_caps(cap_t root_cnode_cap) argument
|
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | boot.c | 31 BOOT_CODE static void init_irqs(cap_t root_cnode_cap) argument
113 cap_t root_cnode_cap; local
70 create_untypeds( cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
[all...] |
| /seL4-camkes-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
101 BOOT_CODE static void init_irqs(cap_t root_cnode_cap) argument
199 cap_t root_cnode_cap; local
[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
|
| /seL4-camkes-master/kernel/src/arch/arm/kernel/ |
| H A D | boot.c | 93 BOOT_CODE static void init_irqs(cap_t root_cnode_cap) argument
131 BOOT_CODE static void init_smmu(cap_t root_cnode_cap) argument
141 BOOT_CODE static bool_t create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
318 cap_t root_cnode_cap; local
[all...] |
| /seL4-camkes-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
|
| /seL4-camkes-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
|
| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | boot.c | 266 create_domain_cap(cap_t root_cnode_cap) argument
280 BOOT_CODE cap_t create_ipcbuf_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) argument
291 BOOT_CODE void create_bi_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) argument
333 BOOT_CODE bool_t provide_cap(cap_t root_cnode_cap, cap_t cap) argument
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-camkes-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
|
| /seL4-camkes-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
|
| /seL4-camkes-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
|