Searched refs:pt (Results 1 - 25 of 28) sorted by relevance

12

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Diopt.c164 seL4_CPtr iospace, frame, pt; local
177 pt = vka_alloc_io_page_table_leaky(&env->vka);
178 test_assert(pt);
179 error = seL4_X86_IOPageTable_Map(pt, iospace, IOPT_MAP_BASE);
192 seL4_CPtr iospace, frame, pt; local
197 pt = vka_alloc_io_page_table_leaky(&env->vka);
198 test_assert(pt);
199 error = seL4_X86_IOPageTable_Map(pt, iospace, IOPT_MAP_BASE);
216 /* unmap the pt */
281 seL4_CPtr pt local
300 seL4_CPtr iospace, pt, frame; local
333 seL4_CPtr iospace, pt, frame; local
358 seL4_CPtr iospace, pt, frame; local
391 seL4_CPtr iospace, pt, frame; local
[all...]
H A Dpagetables.c133 seL4_CPtr pt = vka_alloc_page_table_leaky(&env->vka); local
220 error = seL4_ARM_PageTable_Map(pt, env->page_directory,
262 error = seL4_CNode_Delete(env->cspace_root, pt, seL4_WordBits);
268 pt = vka_alloc_page_table_leaky(&env->vka);
271 error = seL4_ARM_PageTable_Map(pt, env->page_directory,
348 seL4_CPtr pt = vka_alloc_page_table_leaky(&env->vka); local
364 error = seL4_ARM_PageTable_Map(pt, env->page_directory,
409 seL4_CPtr pt = vka_alloc_page_table_leaky(&env->vka);
460 error = seL4_ARM_PageTable_Map(pt, env->page_directory,
474 error = seL4_CNode_Delete(env->cspace_root, pt, seL4_WordBit
[all...]
H A Dvspace.c53 seL4_CPtr pt = vka_alloc_object_leaky(&env->vka, seL4_ARM_PageTableObject, 0); local
56 test_assert(pt != 0);
62 error = seL4_ARM_PageTable_Map(pt, pd, map_addr, seL4_ARM_Default_VMAttributes);
91 seL4_CPtr pt = vka_alloc_object_leaky(&env->vka, seL4_ARM_PageTableObject, 0);
99 test_assert(pt != 0);
116 error = seL4_ARM_PageTable_Map(pt, vspace, map_addr, seL4_ARM_Default_VMAttributes);
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/tests/
H A Dept.c33 static int map_ept_from_pdpt(env_t env, seL4_CPtr pml4, seL4_CPtr pdpt, seL4_CPtr *pd, seL4_CPtr *pt, seL4_CPtr *frame) argument
39 *pt = vka_alloc_ept_page_table_leaky(&env->vka);
40 test_assert(*pt);
46 error = seL4_X86_EPTPT_Map(*pt, pml4, EPT_MAP_BASE, seL4_X86_Default_VMAttributes);
55 static int map_ept_set(env_t env, seL4_CPtr *pml4, seL4_CPtr *pdpt, seL4_CPtr *pd, seL4_CPtr *pt, seL4_CPtr *frame) argument
70 error = map_ept_from_pdpt(env, *pml4, *pdpt, pd, pt, frame);
121 seL4_CPtr pml4, pdpt, pd, pt, frame; local
122 error = map_ept_set(env, &pml4, &pdpt, &pd, &pt, &frame);
137 seL4_CPtr pml4, pdpt, pd, pt, frame; local
138 error = map_ept_set(env, &pml4, &pdpt, &pd, &pt,
240 seL4_CPtr pml4, pdpt, pd, pt, frame; local
312 seL4_CPtr pml4, pdpt, pd, pt, frame; local
357 seL4_CPtr pml4, pdpt, pd, pt, frame; local
384 seL4_CPtr pml4, pdpt, pd, pt, frame; local
404 seL4_CPtr pml4, pdpt, pd, pt, frame; local
424 seL4_CPtr pml4, pdpt, pd, pt, frame; local
[all...]
/seL4-test-master/projects/musllibc/src/thread/microblaze/
H A Dclone.s5 # fn, st, fl, ar, pt, tl, ct
6 # fl, st, __, pt, ct, tl
/seL4-test-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c16 static void riscv_obj_pt_print_slots(pte_t *lvl1pt, pte_t *pt, int level);
38 pte_t *pt; local
41 pt = upperPtSlot;
44 pt = getPPtrFromHWPTE(upperPtSlot);
53 pte_t *ptSlot = pt + ptSlotIndex;
55 if (level) { /* pt */
63 printf("}\n"); /* lvl1pt/pt */
67 pte_t *ptSlot = pt + ptSlotIndex;
69 if (level) { /* pt */
194 static void riscv_obj_pt_print_slots(pte_t *lvl1pt, pte_t *pt, in argument
[all...]
/seL4-test-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c22 static void arm32_obj_pt_print_slots(pte_t *pt);
23 static void arm32_cap_pt_print_slots(pte_t *pt);
114 static void arm32_cap_pt_print_slots(pte_t *pt) argument
119 pte_t *pte = lookupPTSlot_nofail(pt, i);
203 pte_t *pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pde)); local
205 arm32_cap_pt_print_slots(pt);
206 printf("}\n"); /* pt */
228 pte_t *pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pde)); local
229 pte_t *pte = lookupPTSlot_nofail(pt, vptr);
403 static void arm32_obj_pt_print_slots(pte_t *pt) argument
481 pte_t *pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pde)); local
[all...]
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h53 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt);
58 void flushTable(pde_t *pd, asid_t asid, word_t vptr, pte_t *pt);
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dept.h43 EPTPageTableMapped_ret_t EPTPageTableMapped(asid_t asid, vptr_t vaddr, ept_pte_t *pt);
58 void unmapEPTPageTable(asid_t asid, vptr_t vaddr, ept_pte_t *pt);
H A Dvspace.h46 pte_t *pt,
83 void unmapPageTable(asid_t, vptr_t vaddr, pte_t *pt);
102 void flushTable(vspace_root_t *vspace, word_t vptr, pte_t *pt, asid_t asid);
/seL4-test-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h38 pde_t *pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt);
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c105 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap)); local
110 pptr_to_paddr(pt), /* pt_base_address */
130 pte_t *pt; local
137 pt = paddr_to_pptr(pde_pde_pt_ptr_get_pt_base_address(pd));
138 *(pt + ((vptr & MASK(seL4_LargePageBits)) >> seL4_PageBits)) = pte_new(
/seL4-test-master/kernel/manual/
H A Dmanual.tex7 \documentclass[a4paper,11pt,twoside]{report}
89 \parindent 0pt\parskip 6pt
/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c145 pte_t *pt = paddr_to_pptr(pde_pde_small_ptr_get_pt_base_address(pdSlot)); local
146 pte_t *ptSlot = pt + GET_PT_INDEX(vptr);
176 pte_t *pt = paddr_to_pptr(pde_pde_small_ptr_get_pt_base_address(pdSlot)); local
180 pte_t *ptSlot = pt + GET_PT_INDEX(i);
188 printf("}\n"); /* pt */
448 pte_t *pt = paddr_to_pptr(pde_pde_small_ptr_get_pt_base_address(pdSlot)); local
451 pte_t *ptSlot = pt + GET_PT_INDEX(i);
479 printf("pt_%p_%04lu = pt\n", pdSlot, GET_PD_INDEX(i));
/seL4-test-master/projects/musllibc/src/env/
H A D__init_tls.c26 struct pthread pt; member in struct:builtin_tls
29 #define MIN_TLS_ALIGN offsetof(struct builtin_tls, pt)
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c172 /* pt to be mapped */
173 pte_t *pt = PTE_PTR(pptr_of_cap(pt_cap)); local
181 (addrFromPPtr(pt) >> seL4_PageBits),
395 pte_t *pt = lvl1pt; local
403 ret.ptSlot = pt + ((vptr >> ret.ptBitsLeft) & MASK(PT_INDEX_BITS));
408 pt = getPPtrFromHWPTE(ret.ptSlot);
409 ret.ptSlot = pt + ((vptr >> ret.ptBitsLeft) & MASK(PT_INDEX_BITS));
514 pte_t *pt = find_ret.vspace_root; local
516 for (word_t i = 0; i < CONFIG_PT_LEVELS - 1 && pt != target_pt; i++) {
517 ptSlot = pt
1092 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local
1096 pt local
[all...]
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c127 BOOT_CODE bool_t map_kernel_window_devices(pte_t *pt, uint32_t num_ioapic, paddr_t *ioapic_paddrs, uint32_t num_drhu, argument
147 pt[idx] = pte;
158 pt[idx] = pte;
168 pt[idx] = pte;
183 pt[idx] = pte;
193 pt[idx] = pte;
634 pte_t *pt; local
638 pt = paddr_to_pptr(pde_pde_pt_ptr_get_pt_base_address(pdSlot.pdSlot));
640 ptSlot = pt + ptIndex;
685 void flushTable(vspace_root_t *vspace, word_t vptr, pte_t *pt, asid_ argument
759 unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) argument
1109 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local
1113 pt local
[all...]
H A Dept.c172 ept_pte_t *pt = paddr_to_pptr(ept_pde_ept_pde_pt_ptr_get_pt_base_address(lu_ret.pdSlot)); local
175 ret.ptSlot = pt + index;
577 EPTPageTableMapped_ret_t EPTPageTableMapped(asid_t asid, vptr_t vaddr, ept_pte_t *pt) argument
600 && ptrFromPAddr(ept_pde_ept_pde_pt_ptr_get_pt_base_address(find_ret.pdSlot)) == pt) {
613 void unmapEPTPageTable(asid_t asid, vptr_t vaddr, ept_pte_t *pt) argument
617 lu_ret = EPTPageTableMapped(asid, vaddr, pt);
634 ept_pte_t *pt = (ept_pte_t *)cap_ept_pt_cap_get_capPTBasePtr(cap); local
638 pt); local
639 clearMemory((void *)pt, cap_get_capSizeBits(cap));
/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h46 void unmapPageTable(asid_t, vptr_t vaddr, pte_t *pt);
/seL4-test-master/kernel/src/arch/arm/object/
H A Diospace.c62 iopte_t *pt; local
79 pt = (iopte_t *)paddr_to_pptr(iopde_iopde_pt_ptr_get_address(pd_ret.iopdSlot));
81 if (pt == 0) {
88 pt_ret.ioptSlot = pt + index;
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c422 pte_t *pt; local
431 pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pd));
432 targetSlot = pt + ((vptr & MASK(pageBitsForSize(ARMSection)))
492 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap)); local
500 addrFromPPtr(pt), /* address */
505 *targetSlot = pde_pde_coarse_new(addrFromPPtr(pt));
747 pte_t *pt, *ptSlot; local
750 pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pdSlot));
752 ptSlot = pt + ptIndex;
760 static pte_t *lookupPTSlot_nofail(pte_t *pt, vptr_ argument
799 pte_t *pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pde)); local
1092 pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt) argument
1218 unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) argument
1535 flushTable(pde_t *pd, asid_t asid, word_t vptr, pte_t *pt) argument
1884 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local
1888 pt); local
[all...]
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h283 static inline bool_t pte_ptr_get_present(pte_t *pt) argument
285 return (pte_ptr_get_reserved(pt) == 0x3);
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c303 pte_t *pt; local
322 pt = paddr_to_pptr(pde_pde_small_ptr_get_pt_base_address(pd));
323 *(pt + GET_PT_INDEX(vptr)) = pte_new(
367 pte_t *pt = PT_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap)); local
383 pptr_to_paddr(pt)
733 pte_t *pt; local
736 pt = paddr_to_pptr(pde_pde_small_ptr_get_pt_base_address(pdSlot.pdSlot));
737 ptSlot = pt + ptIndex;
775 pte_t *pt = paddr_to_pptr(pde_pde_small_ptr_get_pt_base_address(pdSlot)); local
776 pte_t *ptSlot = pt
1260 pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt) argument
1312 unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) argument
1553 pte_t *pt = PT_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local
1555 cap_page_table_cap_get_capPTMappedAddress(cap), pt); local
[all...]
/seL4-test-master/kernel/src/arch/x86/64/machine/
H A Dcapdl.c100 pte_t *pt = paddr_to_pptr(pde_pde_pt_ptr_get_pt_base_address(pdSlot)); local
103 pte_t *ptSlot = pt + GET_PT_INDEX(i);
131 printf("pt_%p_%04lu = pt\n", pdSlot, GET_PD_INDEX(i));
380 pte_t *pt = paddr_to_pptr(pde_pde_pt_ptr_get_pt_base_address(pdSlot)); local
384 pte_t *ptSlot = pt + GET_PT_INDEX(i);
391 printf("}\n"); /* pt */
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/
H A Dvspace.h43 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt);

Completed in 228 milliseconds

12