/seL4-camkes-master/kernel/include/arch/arm/arch/kernel/ |
H A D | boot.h | 12 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
|
H A D | vspace.h | 20 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
|
/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | boot.h | 14 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
|
/seL4-camkes-master/kernel/include/kernel/ |
H A D | boot.h | 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); 86 cap_t pd_cap,
|
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
H A D | fastpath.h | 75 static inline bool_t isValidVTableRoot_fp(cap_t pd_cap) argument 77 return (pd_cap.words[0] & MASK(5)) ==
|
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | boot.h | 27 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
|
H A D | vspace.h | 62 void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap);
|
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 122 BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) argument 128 BOOT_CODE void map_it_frame_cap(cap_t pd_cap, cap_t frame_cap) argument 131 pde_t *pd = PDE_PTR(pptr_of_cap(pd_cap));
|
H A D | vspace.c | 442 cap_t pd_cap = create_it_page_directory_cap(cap_null_cap_new(), rootserver.vspace, 0, IT_ASID); local 443 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), pd_cap); 444 vspace_cap = pd_cap;
|
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | boot.c | 52 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t argument 73 map_it_frame_cap(pd_cap, cap);
|
/seL4-camkes-master/kernel/src/kernel/ |
H A D | boot.c | 280 BOOT_CODE cap_t create_ipcbuf_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) argument 285 cap_t cap = create_mapped_it_frame_cap(pd_cap, rootserver.ipc_buf, vptr, IT_ASID, false, false); 291 BOOT_CODE void create_bi_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) argument 294 cap_t cap = create_mapped_it_frame_cap(pd_cap, rootserver.boot_info, vptr, IT_ASID, false, false); 346 cap_t pd_cap, 361 frame_cap = create_mapped_it_frame_cap(pd_cap, f, pptr_to_paddr((void *)(f - pv_offset)), IT_ASID, false, true); 344 create_frames_of_region( cap_t root_cnode_cap, cap_t pd_cap, region_t reg, bool_t do_map, sword_t pv_offset ) argument
|
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 525 BOOT_CODE void map_it_frame_cap(cap_t pd_cap, cap_t frame_cap) argument 527 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(pd_cap)); 579 BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) argument 583 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); 584 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(pd_cap); 586 assert(cap_page_directory_cap_get_capPDIsMapped(pd_cap));
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 420 static BOOT_CODE void map_it_frame_cap(cap_t pd_cap, cap_t frame_cap, bool_t executable) argument 424 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); 489 static BOOT_CODE void map_it_pt_cap(cap_t pd_cap, cap_t pt_cap) argument 491 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); 543 cap_t pd_cap = local 550 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), pd_cap); 557 create_it_page_table_cap(pd_cap, it_alloc_paging(), pt_vptr, IT_ASID)) 568 return pd_cap; 576 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, argument 580 map_it_frame_cap(pd_cap, ca [all...] |
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 197 CDL_Cap *pd_cap = get_cap_at(cdl_pdpt, PDPT_SLOT(vaddr)); local 198 if (pd_cap == NULL) { 201 return pd_cap; 224 CDL_Cap *pd_cap = get_cap_at(cdl_pud, PUD_SLOT(vaddr)); local 225 if (pd_cap == NULL) { 228 return pd_cap; 236 CDL_Cap *pd_cap = get_cdl_frame_pd(pd, vaddr, spec); local 237 CDL_Object *cdl_pd = get_spec_object(spec, CDL_Cap_ObjID(pd_cap));
|
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 400 static BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) argument 404 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); 405 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(pd_cap); 407 assert(cap_page_directory_cap_get_capPDIsMapped(pd_cap)); 526 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, argument 530 map_it_frame_cap(pd_cap, cap, executable);
|