Lines Matching refs:root_cnode_cap
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_t num_nodes);
85 cap_t root_cnode_cap,
94 cap_t root_cnode_cap,
102 cap_t root_cnode_cap,