Searched refs:it_pd_cap (Results 1 - 6 of 6) sorted by relevance
| /seL4-mcs-10.1.1/src/arch/arm/kernel/ |
| H A D | boot.c | 369 cap_t it_pd_cap; local
449 it_pd_cap = create_it_address_space(root_cnode_cap, it_v_reg);
450 if (cap_get_capType(it_pd_cap) == cap_null_cap) {
457 it_pd_cap,
465 ipcbuf_cap = create_ipcbuf_frame(root_cnode_cap, it_pd_cap, ipcbuf_vptr);
474 it_pd_cap,
489 write_it_asid_pool(it_ap_cap, it_pd_cap);
507 it_pd_cap,
|
| /seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
| H A D | boot.c | 237 cap_t it_pd_cap; local
304 it_pd_cap = create_it_address_space(root_cnode_cap, it_v_reg);
305 if (cap_get_capType(it_pd_cap) == cap_null_cap) {
312 it_pd_cap,
318 ipcbuf_cap = create_ipcbuf_frame(root_cnode_cap, it_pd_cap, ipcbuf_vptr);
327 it_pd_cap,
342 write_it_asid_pool(it_ap_cap, it_pd_cap);
353 it_pd_cap,
|
| /seL4-mcs-10.1.1/include/kernel/ |
| H A D | boot.h | 56 void write_it_pd_pts(cap_t root_cnode_cap, cap_t it_pd_cap);
98 cap_t it_pd_cap,
|
| /seL4-mcs-10.1.1/include/arch/arm/arch/kernel/ |
| H A D | vspace.h | 30 void write_it_asid_pool(cap_t it_ap_cap, cap_t it_pd_cap);
|
| /seL4-mcs-10.1.1/src/kernel/ |
| H A D | boot.c | 450 cap_t it_pd_cap,
486 it_pd_cap,
448 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
|
| /seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 670 write_it_asid_pool(cap_t it_ap_cap, cap_t it_pd_cap) argument
673 ap->array[IT_ASID] = PDE_PTR(pptr_of_cap(it_pd_cap));
|
Completed in 109 milliseconds