/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | tlb.h | 17 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 D | vspace.h | 77 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 D | ept.h | 41 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 D | boot.h | 27 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 D | tlb.h | 15 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 D | tlb.h | 12 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 D | ipi_inline.h | 28 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 D | capdl.c | 19 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 D | ipi.h | 22 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 D | vspace.h | 49 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 D | capdl.c | 15 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 D | boot.h | 12 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 D | vspace.h | 20 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 D | ipi_inline.h | 25 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 D | capdl.c | 17 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 D | capdl.c | 15 #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 D | machine.h | 39 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 D | vspace.c | 531 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 D | boot.h | 14 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 D | vspace.h | 44 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 D | vspace.c | 392 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 D | vspace_32paging.c | 106 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 D | vspace.c | 305 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 D | machine.h | 154 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 D | ept.c | 91 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...] |