/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | iopt.c | 164 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 D | pagetables.c | 133 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 D | vspace.c | 53 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 D | ept.c | 33 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 D | clone.s | 5 # fn, st, fl, ar, pt, tl, ct 6 # fl, st, __, pt, ct, tl
|
/seL4-test-master/kernel/src/arch/riscv/machine/ |
H A D | capdl.c | 16 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 D | capdl.c | 22 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 D | vspace.h | 53 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 D | ept.h | 43 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 D | vspace.h | 46 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 D | vspace.h | 38 pde_t *pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt);
|
/seL4-test-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 105 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 D | manual.tex | 7 \documentclass[a4paper,11pt,twoside]{report} 89 \parindent 0pt\parskip 6pt
|
/seL4-test-master/kernel/src/arch/arm/64/machine/ |
H A D | capdl.c | 145 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.c | 26 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 D | vspace.c | 172 /* 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 D | vspace.c | 127 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 D | ept.c | 172 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 D | vspace.h | 46 void unmapPageTable(asid_t, vptr_t vaddr, pte_t *pt);
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | iospace.c | 62 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 D | vspace.c | 422 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 D | structures.h | 283 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 D | vspace.c | 303 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 D | capdl.c | 100 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 D | vspace.h | 43 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt);
|