Searched refs:it_pd_cap (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dboot.c200 cap_t it_pd_cap; local
296 it_pd_cap = create_it_address_space(root_cnode_cap, it_v_reg);
297 if (cap_get_capType(it_pd_cap) == cap_null_cap) {
304 it_pd_cap,
317 it_pd_cap,
333 ipcbuf_cap = create_ipcbuf_frame_cap(root_cnode_cap, it_pd_cap, ipcbuf_vptr);
342 it_pd_cap,
357 write_it_asid_pool(it_ap_cap, it_pd_cap);
372 it_pd_cap,
/seL4-camkes-master/kernel/src/arch/arm/kernel/
H A Dboot.c320 cap_t it_pd_cap; local
434 it_pd_cap = create_it_address_space(root_cnode_cap, it_v_reg);
435 if (cap_get_capType(it_pd_cap) == cap_null_cap) {
442 it_pd_cap,
455 it_pd_cap,
471 ipcbuf_cap = create_ipcbuf_frame_cap(root_cnode_cap, it_pd_cap, ipcbuf_vptr);
480 it_pd_cap,
495 write_it_asid_pool(it_ap_cap, it_pd_cap);
515 it_pd_cap,
/seL4-camkes-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h26 void write_it_asid_pool(cap_t it_ap_cap, cap_t it_pd_cap);
/seL4-camkes-master/kernel/include/kernel/
H A Dboot.h59 void write_it_pd_pts(cap_t root_cnode_cap, cap_t it_pd_cap);
103 cap_t it_pd_cap,
/seL4-camkes-master/kernel/src/kernel/
H A Dboot.c454 BOOT_CODE tcb_t *create_initial_thread(cap_t root_cnode_cap, cap_t it_pd_cap, vptr_t ui_v_entry, vptr_t bi_frame_vptr, argument
478 it_pd_cap,
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c632 BOOT_CODE void write_it_asid_pool(cap_t it_ap_cap, cap_t it_pd_cap) argument
635 ap->array[IT_ASID] = PDE_PTR(pptr_of_cap(it_pd_cap));

Completed in 90 milliseconds