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

12

/seL4-refos-master/libs/libmuslc/src/thread/microblaze/
H A Dclone.s5 # fn, st, fl, ar, pt, tl, ct
6 # fl, st, __, pt, ct, tl
/seL4-refos-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-refos-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-refos-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-refos-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-refos-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h38 pde_t *pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt);
/seL4-refos-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-refos-master/kernel/manual/
H A Dmanual.tex7 \documentclass[a4paper,11pt,twoside]{report}
89 \parindent 0pt\parskip 6pt
/seL4-refos-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-refos-master/libs/libmuslc/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-refos-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-refos-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-refos-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h46 void unmapPageTable(asid_t, vptr_t vaddr, pte_t *pt);
/seL4-refos-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-refos-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-refos-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-refos-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-refos-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-refos-master/kernel/include/arch/arm/arch/64/mode/kernel/
H A Dvspace.h43 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt);
/seL4-refos-master/projects/refos/design/
H A Dpaper.tex18 % \documentclass[a4paper,11pt,twoside,twocolumn]{article}
26 \documentclass[a4paper,11pt,twoside]{report}
/seL4-refos-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c530 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 Doptions.c1280 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 Doptions.c1280 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++;

Completed in 357 milliseconds

12