Searched refs:it_pd_cap (Results 1 - 6 of 6) sorted by relevance
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | boot.c | 200 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 D | boot.c | 320 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 D | vspace.h | 26 void write_it_asid_pool(cap_t it_ap_cap, cap_t it_pd_cap);
|
/seL4-camkes-master/kernel/include/kernel/ |
H A D | boot.h | 59 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 D | boot.c | 454 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 D | vspace.c | 632 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