Searched refs:pd_cap (Results 1 - 15 of 15) sorted by relevance

/seL4-camkes-master/kernel/include/arch/arm/arch/kernel/
H A Dboot.h12 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 Dvspace.h20 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 Dboot.h14 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 Dboot.h68 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 Dfastpath.h75 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 Dboot.h27 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 Dvspace.h62 void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap);
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c122 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 Dvspace.c442 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 Dboot.c52 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 Dboot.c280 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 Dvspace.c525 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 Dvspace.c420 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 Dmain.c197 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 Dvspace.c400 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);

Completed in 140 milliseconds