Searched refs:pd (Results 1 - 25 of 33) sorted by relevance

12

/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h34 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 Dmapping.h27 * @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 Dprocess.h36 vka_object_t pd; member in struct:__anon560
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/
H A Dvirtual_pool.h26 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 Dvspace.c424 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 Diospace.c155 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 Dvirtual_pool.c26 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 Dcapdl.c154 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 Dvspace_32paging.c23 /* 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 Dbootstrap.h87 * @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 Dfastpath.h29 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 Dept.h42 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 Dsmmu.c156 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 Dexample_bootstrap.c145 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 DELF.py139 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 Dstructures.h264 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 Dcapdl.c135 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 Dvspace.c529 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 Dmapping.c98 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 Dprocess.c432 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 Dvspace.h39 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 Dbootstrap.c58 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 Dvspace.c302 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__.py271 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 Dept.c141 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));

Completed in 222 milliseconds

12