/seL4-refos-master/libs/libmuslc/src/thread/microblaze/ |
H A D | clone.s | 5 # fn, st, fl, ar, pt, tl, ct 6 # fl, st, __, pt, ct, tl
|
/seL4-refos-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-refos-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-refos-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-refos-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-refos-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-refos-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-refos-master/kernel/manual/ |
H A D | manual.tex | 7 \documentclass[a4paper,11pt,twoside]{report} 89 \parindent 0pt\parskip 6pt
|
/seL4-refos-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-refos-master/libs/libmuslc/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-refos-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-refos-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-refos-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | vspace.h | 46 void unmapPageTable(asid_t, vptr_t vaddr, pte_t *pt);
|
/seL4-refos-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-refos-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-refos-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-refos-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-refos-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-refos-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);
|
/seL4-refos-master/projects/refos/design/ |
H A D | paper.tex | 18 % \documentclass[a4paper,11pt,twoside,twocolumn]{article} 26 \documentclass[a4paper,11pt,twoside]{report}
|
/seL4-refos-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 530 pte_t *pt; local 544 pt = paddr_to_pptr(pde_pde_pt_ptr_get_pt_base_address(pd)); 545 *(pt + GET_PT_INDEX(vptr)) = pte_new( 607 pte_t *pt = PT_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap)); local 619 pptr_to_paddr(pt), /* pt_base_address */
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | options.c | 1280 char *pt = op; local 1284 while (*pt && color_number >= 0) { 1287 if (*pt == '-') { 1289 pt++; 1294 if (*pt && *pt != '/') { 1300 tmp = *(pt++); 1313 if (*pt == '/') { 1314 pt++;
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | options.c | 1280 char *pt = op; local 1284 while (*pt && color_number >= 0) { 1287 if (*pt == '-') { 1289 pt++; 1294 if (*pt && *pt != '/') { 1300 tmp = *(pt++); 1313 if (*pt == '/') { 1314 pt++;
|