riscv/kernel/boot.c

41 create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg)
47     bool_t res = create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before);
188 init_irqs(cap_t root_cnode_cap)
198     write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapIRQControl), cap_irq_control_cap_new());
236     cap_t root_cnode_cap;
280     root_cnode_cap = create_root_cnode();
281     if (cap_get_capType(root_cnode_cap) == cap_null_cap) {
286     create_domain_cap(root_cnode_cap);
294     init_irqs(root_cnode_cap);
304     it_pd_cap = create_it_address_space(root_cnode_cap, it_v_reg);
311         root_cnode_cap,
318     ipcbuf_cap = create_ipcbuf_frame(root_cnode_cap, it_pd_cap, ipcbuf_vptr);
326             root_cnode_cap,
338     it_ap_cap = create_it_asid_pool(root_cnode_cap);
352                          root_cnode_cap,
368                 root_cnode_cap,