/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
H A D | vspace.h | 34 pde_t *pd; member in struct:findPDForASID_ret 49 lookupPTSlot_ret_t lookupPTSlot(pde_t *pd, vptr_t vptr); 50 pde_t *CONST lookupPDSlot(pde_t *pd, vptr_t vptr); 52 void deleteASID(asid_t asid, pde_t *pd); 57 void flushPage(vm_page_size_t page_size, pde_t *pd, asid_t asid, word_t vptr); 58 void flushTable(pde_t *pd, asid_t asid, word_t vptr, pte_t *pt);
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | mapping.h | 27 * @param pd page directory to map the page into 39 int sel4utils_map_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr, 43 static inline int sel4utils_map_page_leaky(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr, argument 48 return sel4utils_map_page(vka, pd, frame, vaddr, rights, cacheable, objects, &num); 83 int sel4utils_map_ept_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, seL4_Word vaddr,
|
H A D | process.h | 36 vka_object_t pd; member in struct:__anon560
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | virtual_pool.h | 26 seL4_CPtr pd; member in struct:mspace_virtual_pool_config 33 seL4_CPtr pd; member in struct:mspace_virtual_pool
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 424 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); local 430 pd += (vptr >> pageBitsForSize(ARMSection)); 431 pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pd)); 491 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); local 494 pde_t *targetSlot = pd + (vptr >> pageBitsForSize(ARMSection)); 511 static BOOT_CODE cap_t create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid) argument 521 map_it_pt_cap(pd, cap); 645 pde_t *pd; local 651 ret.pd = NULL; 656 pd 725 lookupPDSlot(pde_t *pd, vptr_t vptr) argument 733 lookupPTSlot(pde_t *pd, vptr_t vptr) argument 770 resolveVAddr(pde_t *pd, vptr_t vaddr) argument 1045 pde_t *pd; local 1075 setVMRootForFlush(pde_t *pd, asid_t asid) argument 1117 pde_t *pd; local 1131 pde_t *pd; local 1145 pde_t *pd; local 1220 pde_t *pd, *pdSlot; local 1346 deleteASID(asid_t asid, pde_t *pd) argument 1449 pde_t *pd; local 1474 pde_t *pd; local 1511 flushPage(vm_page_size_t page_size, pde_t *pd, asid_t asid, word_t vptr) argument 1535 flushTable(pde_t *pd, asid_t asid, word_t vptr, pte_t *pt) argument 1611 createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument 1711 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument 1852 performPDFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument 1978 performPageFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument 2057 pde_t *pd; local 2164 pde_t *pd, *pdSlot; local 2287 pde_t *pd; local 2454 findPDForASID_ret_t pd; local 2857 readWordFromVSpace(pde_t *pd, word_t vaddr) argument 2906 pde_t *pd; local [all...] |
/seL4-camkes-master/kernel/src/arch/arm/object/ |
H A D | iospace.c | 155 iopde_t *pd; local 202 pd = plat_smmu_lookup_iopd_by_asid(asid); 204 lu_ret = lookupIOPDSlot(pd, io_address); 257 iopde_t *pd; local 298 pd = plat_smmu_lookup_iopd_by_asid(asid); 300 lu_ret = lookupIOPTSlot(pd, io_address); 378 iopde_t *pd; local 385 pd = plat_smmu_lookup_iopd_by_asid(asid); 388 lu_ret = lookupIOPDSlot(pd, io_address); 415 iopde_t *pd; local 445 iopde_t *pd; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | virtual_pool.c | 26 static int _add_page(allocman_t *alloc, seL4_CPtr pd, void *vaddr) argument 42 while ((error = seL4_ARCH_Page_Map(frame_path.capPtr, pd, (seL4_Word) vaddr, seL4_AllRights, 61 error = vspace_map_obj(&obj, path.capPtr, pd, (seL4_Word) vaddr, seL4_ARCH_Default_VMAttributes); 91 error = _add_page(virtual_pool->morecore_alloc, virtual_pool->pd, virtual_pool->pool_top); 109 virtual_pool->pd = config.pd;
|
/seL4-camkes-master/kernel/src/arch/arm/32/machine/ |
H A D | capdl.c | 154 pde_t *pd = (pde_t *)pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); local 156 printf("%p_pd {\n", pd); 161 pde_t *pde = lookupPDSlot(pd, i); 196 printf("}\n"); /* pd */ 201 pde_t *pde = lookupPDSlot(pd, i); 217 static void cap_frame_print_attrs_vptr(word_t vptr, pde_t *pd) argument 219 pde_t *pde = lookupPDSlot(pd, vptr); 260 cap_frame_print_attrs_vptr(vptr, find_ret.pd); 272 lookupPDSlot(find_ret.pd, vptr), PD_INDEX(vptr), (long unsigned int)asid); 274 printf("pt_%p_%04lu\n", lookupPDSlot(find_ret.pd, vpt 448 pde_t *pd = (pde_t *)pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); local [all...] |
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 23 /* The boot pd is referenced by code that runs before paging, so 104 pde_t *pd = PDE_PTR(pptr_of_cap(vspace_cap)); local 109 *(pd + (vptr >> seL4_LargePageBits)) = pde_pde_pt_new( 131 pde_t *pd = PDE_PTR(pptr_of_cap(pd_cap)); local 136 pd += (vptr >> seL4_LargePageBits); 137 pt = paddr_to_pptr(pde_pde_pt_ptr_get_pt_base_address(pd)); 159 pde_t *pd = PDE_PTR(vspace); local 164 pdSlot.pdSlot = pd + pdIndex; 218 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) argument 220 deleteASID(asid, pd); [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
H A D | bootstrap.h | 87 * @param pd Page directory to invoke when mapping frames/page tables 90 seL4_CPtr pd); 257 * @param pd Path to the PD of the current thread. This is needed to work around seL4 restriction that 263 allocman_t *bootstrap_new_1level(bootstrap_info_t *info, size_t cnode_size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot); 272 * @param pd Path to the PD of the current thread. This is needed to work around seL4 restriction that 278 allocman_t *bootstrap_new_2level(bootstrap_info_t *info, size_t l1size, size_t l2size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot);
|
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/fastpath/ |
H A D | fastpath.h | 29 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, vspace_root_t *pd, pde_t stored_hw_asid) argument 31 uint32_t new_pd = pptr_to_paddr(pd); 35 SMP_COND_STATEMENT(tlb_bitmap_set(pd, getCurrentCPUIndex());)
|
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | ept.h | 42 EPTPageDirectoryMapped_ret_t EPTPageDirectoryMapped(asid_t asid, vptr_t vaddr, ept_pde_t *pd); 57 void unmapEPTPageDirectory(asid_t asid, vptr_t vaddr, ept_pde_t *pd);
|
/seL4-camkes-master/kernel/src/plat/tk1/machine/ |
H A D | smmu.c | 156 iopde_t *pd = (iopde_t *) smmu_pds[asid - SMMU_FIRST_ASID]; local 158 memset(pd, 0, BIT(SMMU_PD_INDEX_BITS)); 159 cleanCacheRange_RAM((word_t)pd, ((word_t)pd + BIT(SMMU_PD_INDEX_BITS)), 160 addrFromPPtr(pd)); 165 smmu_regs->smmu_ptb_data = make_ptb_data(pptr_to_paddr(pd), true, true, true);
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/ |
H A D | example_bootstrap.c | 145 cspacepath_t pd; local 171 pd = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadPD); 172 allocman = bootstrap_new_1level(bootstrap, 14, tcb, pd, &oldroot); 213 cspacepath_t pd; local 239 pd = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadPD); 240 allocman = bootstrap_new_2level(bootstrap, 6, 10, tcb, pd, &oldroot);
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | ELF.py | 139 def get_pages(self, infer_asid=True, pd=None, use_large_frames=True, addr_space=None): 146 pages = PageCollection(self._safe_name(), self.arch, infer_asid, pd) 241 def get_spec(self, infer_tcb=True, infer_asid=True, pd=None, 247 pages = self.get_pages(infer_asid, pd, use_large_frames, addr_space=addr_space)
|
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/ |
H A D | structures.h | 264 static inline bool_t pde_pde_small_ptr_get_present(pde_t *pd) argument 266 return (pde_ptr_get_pde_type(pd) == pde_pde_small); 269 static inline bool_t pde_pde_large_ptr_get_present(pde_t *pd) argument 271 return (pde_ptr_get_pde_type(pd) == pde_pde_large);
|
/seL4-camkes-master/kernel/src/arch/arm/64/machine/ |
H A D | capdl.c | 135 pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot.pudSlot)); local 136 pde_t *pdSlot = pd + GET_PD_INDEX(vptr); 194 pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot)); local 197 pde_t *pdSlot = pd + GET_PD_INDEX(i); 212 printf("}\n"); /* pd */ 215 pde_t *pdSlot = pd + GET_PD_INDEX(i); 269 printf("}\n"); /* pd */ 465 pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot)); local 468 pde_t *pdSlot = pd + GET_PD_INDEX(i); 503 printf("pd_%p_%04lu = pd\ [all...] |
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 529 pde_t *pd; local 541 pd = paddr_to_pptr(pdpte_pdpte_pd_ptr_get_pd_base_address(pdpt)); 542 pd += GET_PD_INDEX(vptr); 543 assert(pde_pde_pt_ptr_get_present(pd)); 544 pt = paddr_to_pptr(pde_pde_pt_ptr_get_pt_base_address(pd)); 583 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); local 592 pptr_to_paddr(pd), /* pd_base_address */ 606 pde_t *pd; local 616 pd = paddr_to_pptr(pdpte_pdpte_pd_ptr_get_pd_base_address(pdpt)); 617 *(pd 1040 pde_t *pd; local 1052 flushPD(vspace_root_t *vspace, word_t vptr, pde_t *pd, asid_t asid) argument 1074 unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) argument 1109 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(cap)); local 1113 pd local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | mapping.c | 98 int sel4utils_map_ept_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, seL4_Word vaddr, argument 104 int error = map_page(vka, seL4_X86_Page_MapEPT, vspace_get_ept_map_obj, pd, frame, (void *) vaddr, rights, cacheable,
|
H A D | process.c | 432 static seL4_CPtr assign_asid_pool(seL4_CPtr asid_pool, seL4_CPtr pd) argument 434 int error = seL4_ARCH_ASIDPool_Assign(get_asid_pool(asid_pool), pd); 473 vka_cspace_make_path(vka, process->pd.cptr, &src); 512 error = vka_alloc_vspace_root(vka, &process->pd); 520 assign_asid_pool(config.asid_pool, process->pd.cptr) != seL4_NoError) { 524 process->pd = config.page_dir; 547 sel4utils_get_vspace(spawner_vspace, &process->vspace, &process->data, vka, process->pd.cptr, 660 if (config.create_vspace && process->pd.cptr != 0) { 661 vka_free_object(vka, &process->pd); 712 vka_free_object(vka, &process->pd); [all...] |
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/kernel/ |
H A D | vspace.h | 39 pude_t *pageDirectoryMapped(asid_t asid, vptr_t vaddr, pde_t *pd); 41 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd);
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 58 cspacepath_t pd; member in struct:bootstrap_info 467 bs->pd.capPtr, seL4_NilData); 524 if(pos == bs->tcb.capPtr || pos == bs->pd.capPtr) { 601 bs->pd.capPtr, seL4_NilData); 645 bs->pd = bs->boot_cspace.make_path(bs->boot_cspace.cspace, seL4_CapInitThreadPD); 649 static void bootstrap_set_pd_tcb(bootstrap_info_t *bs, cspacepath_t pd, cspacepath_t tcb) { argument 650 bs->pd = pd; 759 /* set the pd and tcb */ 811 static allocman_t *_bootstrap_new_level1(bootstrap_info_t *info, size_t cnode_size, cspacepath_t tcb, cspacepath_t pd, cspacepath_ argument 825 _bootstrap_new_level2(bootstrap_info_t *info, size_t l1size, size_t l2size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) argument 859 bootstrap_new_1level(bootstrap_info_t *info, size_t cnode_size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) argument 868 bootstrap_new_2level(bootstrap_info_t *info, size_t l1size, size_t l2size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) argument 1196 cspacepath_t pd = _cspace_simple1level_make_path(&bootstrap->maybe_boot_cspace, simple_get_pd(simple)); local 1267 bootstrap_configure_virtual_pool(allocman_t *alloc, void *vstart, size_t vsize, seL4_CPtr pd) argument [all...] |
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 302 pde_t *pd; local 319 pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pud)); 320 pd += GET_PD_INDEX(vptr); 321 assert(pde_pde_small_ptr_get_present(pd)); 322 pt = paddr_to_pptr(pde_pde_small_ptr_get_pt_base_address(pd)); 366 pde_t *pd; local 381 pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pud)); 382 *(pd + GET_PD_INDEX(vptr)) = pde_pde_small_new( 404 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); local 417 pptr_to_paddr(pd) 703 pde_t *pd; local 764 pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot.pudSlot)); local 1044 pageDirectoryMapped(asid_t asid, vptr_t vaddr, pde_t *pd) argument 1299 unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) argument 1531 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(cap)); local 1533 cap_page_directory_cap_get_capPDMappedAddress(cap), pd); local 2467 readWordFromVSpace(vspace_root_t *pd, word_t vaddr) argument [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | __main__.py | 271 pd = obj_space.alloc(lookup_architecture(options.architecture).vspace().object, name="%s_group_bin_pd" % key, 274 re.sub(r'[^A-Za-z0-9]', '_', "%s_group_bin" % key), pd) 275 render_state.pds[key] = pd
|
/seL4-camkes-master/kernel/src/arch/x86/kernel/ |
H A D | ept.c | 141 ept_pde_t *pd = paddr_to_pptr(ept_pdpte_ptr_get_pd_base_address(lu_ret.pdptSlot)); local 143 ret.pdSlot = pd + index; 388 EPTPageDirectoryMapped_ret_t EPTPageDirectoryMapped(asid_t asid, vptr_t vaddr, ept_pde_t *pd) argument 411 && ptrFromPAddr(ept_pdpte_ptr_get_pd_base_address(find_ret.pdptSlot)) == pd) { 424 void unmapEPTPageDirectory(asid_t asid, vptr_t vaddr, ept_pde_t *pd) argument 428 lu_ret = EPTPageDirectoryMapped(asid, vaddr, pd); 445 ept_pde_t *pd = (ept_pde_t *)cap_ept_pd_cap_get_capPDBasePtr(cap); local 449 pd); local 450 clearMemory((void *)pd, cap_get_capSizeBits(cap));
|