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

12

/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dtlb.h17 static inline void invalidateTranslationSingle(vptr_t vptr, word_t mask) argument
19 invalidateLocalTranslationSingle(vptr);
20 SMP_COND_STATEMENT(doRemoteInvalidateTranslationSingle(vptr, mask));
23 static inline void invalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) argument
25 invalidateLocalTranslationSingleASID(vptr, asid);
26 SMP_COND_STATEMENT(doRemoteInvalidateTranslationSingleASID(vptr, asid, mask));
H A Dvspace.h77 lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr);
78 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr);
92 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
94 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vptr, void *pptr);
96 vspace_root_t *vroot, vptr_t vptr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr);
100 exception_t checkValidIPCBuffer(vptr_t vptr, cap_t cap);
102 void flushTable(vspace_root_t *vspace, word_t vptr, pte_t *pt, asid_t asid);
H A Dept.h41 EPTPDPTMapped_ret_t EPTPDPTMapped(asid_t asid, vptr_t vptr, ept_pdpte_t *pdpt);
59 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
H A Dboot.h27 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
/seL4-test-master/kernel/include/arch/arm/arch/machine/
H A Dtlb.h15 static inline void invalidateTranslationSingleLocal(vptr_t vptr) argument
18 invalidateLocalTLB_IPA_VMID(vptr);
20 invalidateLocalTLB_VAASID(vptr);
38 static inline void invalidateTranslationSingle(vptr_t vptr) argument
40 invalidateTranslationSingleLocal(vptr);
41 SMP_COND_STATEMENT(doRemoteInvalidateTranslationSingle(vptr, MASK(CONFIG_MAX_NUM_NODES)));
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/kernel/
H A Dtlb.h12 static inline void invalidateTLBEntry(vptr_t vptr, word_t mask) argument
14 invalidateLocalTLBEntry(vptr);
15 SMP_COND_STATEMENT(doRemoteInvalidateTLBEntry(vptr, mask));
/seL4-test-master/kernel/include/arch/x86/arch/smp/
H A Dipi_inline.h28 static inline void doRemoteInvalidateTranslationSingle(vptr_t vptr, word_t mask) argument
30 doRemoteMaskOp1Arg(IpiRemoteCall_InvalidateTranslationSingle, vptr, mask);
33 static inline void doRemoteInvalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) argument
35 doRemoteMaskOp2Arg(IpiRemoteCall_InvalidateTranslationSingleASID, vptr, asid, mask);
/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c19 static void cap_frame_print_attrs_vptr(word_t vptr, cap_t vspace);
21 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspaceRoot);
27 static void arm64_cap_pt_print_slots(pde_t *pdSlot, vptr_t vptr);
28 static void arm64_cap_pd_print_slots(pude_t *pudSlot, vptr_t vptr);
29 static void arm64_cap_pud_print_slots(void *pgdSlot_or_vspace, vptr_t vptr);
120 /* use when only have access to vptr of frames */
121 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspace) argument
123 lookupPUDSlot_ret_t pudSlot = lookupPUDSlot(vspace, vptr);
130 printf("frame_%p_%04lu ", pudSlot.pudSlot, GET_PUD_INDEX(vptr));
136 pde_t *pdSlot = pd + GET_PD_INDEX(vptr);
166 cap_frame_print_attrs_vptr(word_t vptr, cap_t vspace) argument
174 arm64_cap_pt_print_slots(pde_t *pdSlot, vptr_t vptr) argument
191 arm64_cap_pd_print_slots(pude_t *pudSlot, vptr_t vptr) argument
222 arm64_cap_pud_print_slots(void *pgdSlot_or_vspace, vptr_t vptr) argument
283 word_t vptr = tcb->tcbIPCBuffer; local
295 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(cap); local
307 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(cap); local
320 vptr_t vptr = cap_page_upper_directory_cap_get_capPUDMappedAddress(cap); local
356 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(cap); local
[all...]
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/smp/
H A Dipi.h22 static void inline doRemoteInvalidateTLBEntry(vptr_t vptr, word_t mask) argument
24 doRemoteMaskOp1Arg((IpiRemoteCall_t)IpiRemoteCall_InvalidateTLBEntry, vptr, mask);
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h49 lookupPTSlot_ret_t lookupPTSlot(pde_t *pd, vptr_t vptr);
50 pde_t *CONST lookupPDSlot(pde_t *pd, vptr_t vptr);
54 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
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-test-master/kernel/src/arch/x86/64/machine/
H A Dcapdl.c15 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspace);
16 static void cap_frame_print_attrs_vptr(word_t vptr, cap_t vspace);
183 /* use when only have access to vptr of frames */
184 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspace) argument
186 lookupPDPTSlot_ret_t pdptSlot = lookupPDPTSlot(vspace, vptr);
193 printf("frame_%p_%04lu ", pdptSlot.pdptSlot, GET_PDPT_INDEX(vptr));
196 pdSlot = lookupPDSlot(vspace, vptr);
200 printf("frame_%p_%04lu ", pdSlot.pdSlot, GET_PD_INDEX(vptr));
203 ptSlot = lookupPTSlot(vspace, vptr);
205 printf("frame_%p_%04lu ", ptSlot.ptSlot, GET_PT_INDEX(vptr));
211 cap_frame_print_attrs_vptr(word_t vptr, cap_t vspace) argument
225 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(cap); local
237 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(cap); local
249 vptr_t vptr = cap_pdpt_cap_get_capPDPTMappedAddress(cap); local
275 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(cap); local
373 word_t vptr = tcb->tcbIPCBuffer; local
378 x86_64_cap_pt_print_slots(pde_t *pdSlot, vptr_t vptr) argument
394 x86_64_cap_pd_print_slots(pdpte_t *pdptSlot, vptr_t vptr) argument
420 x86_64_cap_pdpt_print_slots(pml4e_t *pml4Slot, vptr_t vptr) argument
[all...]
/seL4-test-master/kernel/include/arch/arm/arch/kernel/
H A Dboot.h12 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
H A Dvspace.h20 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
41 exception_t checkValidIPCBuffer(vptr_t vptr, cap_t cap);
/seL4-test-master/kernel/include/arch/arm/arch/smp/
H A Dipi_inline.h25 static inline void doRemoteInvalidateTranslationSingle(vptr_t vptr, word_t mask) argument
27 doRemoteMaskOp1Arg(IpiRemoteCall_InvalidateTranslationSingle, vptr, mask);
/seL4-test-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c17 static void cap_frame_print_attrs_vptr(word_t vptr, pte_t *lvl1pt);
28 word_t vptr = tcb->tcbIPCBuffer; local
33 cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root);
112 static void cap_frame_print_attrs_vptr(word_t vptr, pte_t *lvl1pt) argument
114 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vptr);
116 word_t slot = ((vptr >> lu_ret.ptBitsLeft) & MASK(PT_INDEX_BITS));
128 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(cap); local
131 word_t slot = ((vptr >> ptBitsLeft) & MASK(PT_INDEX_BITS));
134 lookupPTSlot(find_ret.vspace_root, vptr).ptSlot, slot, (long unsigned int)asid);
136 printf("pt_%p_%04lu\n", lookupPTSlot(find_ret.vspace_root, vptr)
146 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(cap); local
[all...]
/seL4-test-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c15 #define PT_INDEX(vptr) ((vptr >> PAGE_BITS) & MASK(PT_INDEX_BITS))
16 #define PD_INDEX(vptr) (vptr >> (PAGE_BITS + PT_INDEX_BITS))
216 /* use when only have access to vptr of frames */
217 static void cap_frame_print_attrs_vptr(word_t vptr, pde_t *pd) argument
219 pde_t *pde = lookupPDSlot(pd, vptr);
223 printf("frame_%p_%04lu ", pde, PD_INDEX(vptr));
229 pte_t *pte = lookupPTSlot_nofail(pt, vptr);
232 printf("frame_%p_%04lu ", pte, PT_INDEX(vptr));
256 word_t vptr = tcb->tcbIPCBuffer; local
269 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(cap); local
295 vptr_t vptr = cap_small_frame_cap_get_capFMappedAddress(cap); local
302 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(cap); local
[all...]
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/
H A Dmachine.h39 static inline void invalidateLocalTLBEntry(vptr_t vptr) argument
41 asm volatile("invlpg (%[vptr])" :: [vptr] "r"(vptr));
63 static inline void invalidateLocalTranslationSingle(vptr_t vptr) argument
66 invalidateLocalTLBEntry(vptr);
69 static inline void invalidateLocalTranslationSingleASID(vptr_t vptr, asid_t asid) argument
72 invalidateLocalTLBEntry(vptr);
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c531 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(frame_cap); local
536 pml4 += GET_PML4_INDEX(vptr);
539 pdpt += GET_PDPT_INDEX(vptr);
542 pd += GET_PD_INDEX(vptr);
545 *(pt + GET_PT_INDEX(vptr)) = pte_new(
564 vptr_t vptr = cap_pdpt_cap_get_capPDPTMappedAddress(pdpt_cap); local
567 *(pml4 + GET_PML4_INDEX(vptr)) = pml4e_new(
584 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(pd_cap); local
587 pml4 += GET_PML4_INDEX(vptr);
590 *(pdpt + GET_PDPT_INDEX(vptr))
608 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); local
639 create_it_pdpt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
652 create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
665 create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
693 vptr_t vptr; local
762 create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, seL4_Word map_type) argument
789 create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable UNUSED) argument
989 lookupPML4Slot(vspace_root_t *pml4, vptr_t vptr) argument
996 lookupPDPTSlot(vspace_root_t *pml4, vptr_t vptr) argument
1020 lookupPDSlot(vspace_root_t *pml4, vptr_t vptr) argument
1052 flushPD(vspace_root_t *vspace, word_t vptr, pde_t *pd, asid_t asid) argument
1062 flushPDPT(vspace_root_t *vspace, word_t vptr, pdpte_t *pdpt, asid_t asid) argument
[all...]
/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dboot.h14 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
H A Dvspace.h44 lookupPTSlot_ret_t lookupPTSlot(pte_t *lvl1pt, vptr_t vptr);
47 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr);
51 exception_t checkValidIPCBuffer(vptr_t vptr, cap_t cap);
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c392 static BOOT_CODE cap_t create_it_page_table_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
398 vptr, /* capPTMappedAddress */
407 static BOOT_CODE cap_t create_it_page_directory_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
413 vptr, /* capPDMappedAddress */
436 vptr_t vptr; local
448 for (vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS);
449 vptr < it_v_reg.end;
450 vptr += BIT(PT_INDEX_BITS + PAGE_BITS)) {
452 create_it_page_table_cap(vspace_cap, it_alloc_paging(), vptr, IT_ASID))
466 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_ argument
495 create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable UNUSED) argument
[all...]
H A Dvspace_32paging.c106 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); local
109 *(pd + (vptr >> seL4_LargePageBits)) = pde_pde_pt_new(
133 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(frame_cap); local
136 pd += (vptr >> seL4_LargePageBits);
138 *(pt + ((vptr & MASK(seL4_LargePageBits)) >> seL4_PageBits)) = pte_new(
156 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr) argument
162 pdIndex = vptr >> (PAGE_BITS + PT_INDEX_BITS);
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c305 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(frame_cap); local
313 vspaceRoot += GET_PGD_INDEX(vptr);
317 pud += GET_UPUD_INDEX(vptr);
320 pd += GET_PD_INDEX(vptr);
323 *(pt + GET_PT_INDEX(vptr)) = pte_new(
343 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) argument
356 vptr, /* capFMappedAddress */
368 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); local
375 vspaceRoot += GET_PGD_INDEX(vptr);
379 pud += GET_UPUD_INDEX(vptr);
387 create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
405 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(pd_cap); local
421 create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
439 vptr_t vptr = cap_page_upper_directory_cap_get_capPUDMappedAddress(pud_cap); local
447 create_it_pud_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
473 vptr_t vptr; local
526 create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable) argument
618 checkValidIPCBuffer(vptr_t vptr, cap_t cap) argument
641 lookupPGDSlot(vspace_root_t *vspace, vptr_t vptr) argument
652 lookupPUDSlot(vspace_root_t *vspace, vptr_t vptr) argument
685 lookupPDSlot(vspace_root_t *vspace, vptr_t vptr) argument
715 lookupPTSlot(vspace_root_t *vspace, vptr_t vptr) argument
745 lookupFrame(vspace_root_t *vspace, vptr_t vptr) argument
1325 unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) argument
[all...]
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/
H A Dmachine.h154 asm volatile("invlpg (%[vptr])" :: [vptr] "r"(vaddr));
172 static inline void invalidateLocalTranslationSingle(vptr_t vptr) argument
180 static inline void invalidateLocalTranslationSingleASID(vptr_t vptr, asid_t asid) argument
182 invalidateLocalPCID(INVPCID_TYPE_ADDR, (void *)vptr, asid);
210 asm volatile("invlpg (%[vptr])" :: [vptr] "r"(0));
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dept.c91 static ept_pml4e_t *CONST lookupEPTPML4Slot(ept_pml4e_t *pml4, vptr_t vptr) argument
93 return pml4 + GET_EPT_PML4_INDEX(vptr);
96 static lookupEPTPDPTSlot_ret_t CONST lookupEPTPDPTSlot(ept_pml4e_t *pml4, vptr_t vptr) argument
101 pml4Slot = lookupEPTPML4Slot(pml4, vptr);
112 uint32_t index = GET_EPT_PDPT_INDEX(vptr);
118 static lookupEPTPDSlot_ret_t lookupEPTPDSlot(ept_pml4e_t *pml4, vptr_t vptr) argument
123 lu_ret = lookupEPTPDPTSlot(pml4, vptr);
142 uint32_t index = GET_EPT_PD_INDEX(vptr);
148 static lookupEPTPTSlot_ret_t lookupEPTPTSlot(ept_pml4e_t *pml4, vptr_t vptr) argument
153 lu_ret = lookupEPTPDSlot(pml4, vptr);
195 EPTPDPTMapped(asid_t asid, vptr_t vptr, ept_pdpte_t *pdpt) argument
969 unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
[all...]

Completed in 128 milliseconds

12