/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/kernel/ |
H A D | vspace.h | 34 static inline CONST pde_t x86_make_empty_root_mapping(void)
|
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
H A D | vspace.h | 34 pde_t *pd; 47 void copyGlobalMappings(pde_t *newPD); 49 lookupPTSlot_ret_t lookupPTSlot(pde_t *pd, vptr_t vptr); 50 pde_t *CONST lookupPDSlot(pde_t *pd, vptr_t vptr); 52 void deleteASID(asid_t asid, pde_t *pd); 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-camkes-master/kernel/include/arch/arm/armv/armv6/armv/ |
H A D | context_switch.h | 20 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) 26 static inline void armv_contextSwitch(pde_t *cap_pd, asid_t asid)
|
/seL4-camkes-master/kernel/src/arch/x86/64/model/ |
H A D | statedata.c | 13 pde_t x64KSKernelPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits)); 15 pde_t x64KSKernelPDs[BIT(PDPT_INDEX_BITS)][BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits)); 22 pde_t x64KSSKIMPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
|
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/model/ |
H A D | statedata.h | 17 extern pde_t x64KSKernelPD[BIT(PD_INDEX_BITS)]; 19 extern pde_t x64KSKernelPDs[BIT(PDPT_INDEX_BITS)][BIT(PD_INDEX_BITS)]; 28 extern pde_t x64KSSKIMPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
|
/seL4-camkes-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
H A D | context_switch.h | 22 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) 49 static inline void armv_contextSwitch(pde_t *cap_pd, asid_t asid)
|
/seL4-camkes-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
H A D | context_switch.h | 22 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) 49 static inline void armv_contextSwitch(pde_t *cap_pd, asid_t asid)
|
/seL4-camkes-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
H A D | context_switch.h | 22 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) 49 static inline void armv_contextSwitch(pde_t *cap_pd, asid_t asid)
|
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/model/ |
H A D | statedata.h | 15 extern pde_t ia32KSGlobalPD[BIT(PD_INDEX_BITS)];
|
/seL4-camkes-master/kernel/src/arch/x86/32/model/ |
H A D | statedata.c | 14 pde_t ia32KSGlobalPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
|
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/model/ |
H A D | statedata.h | 28 extern pde_t armKSGlobalKernelPDs[BIT(PUD_INDEX_BITS)][BIT(PD_INDEX_BITS)] VISIBLE; 38 pde_t *armKSGlobalLogPDE;
|
/seL4-camkes-master/kernel/include/ |
H A D | compound_types.h | 15 pde_t *base;
|
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/model/ |
H A D | statedata.h | 23 extern pde_t armKSGlobalPD[BIT(PD_INDEX_BITS)] VISIBLE; 34 extern pde_t armUSGlobalPD[BIT(PD_INDEX_BITS)] VISIBLE;
|
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/object/ |
H A D | structures.h | 28 typedef pde_t vspace_root_t; 32 #define PDE_PTR(r) ((pde_t *)(r)) 33 #define PDE_PTR_PTR(r) ((pde_t **)(r)) 36 #define PD_PTR(r) ((pde_t *)(r))
|
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 25 pde_t _boot_pd[BIT(PD_INDEX_BITS)] ALIGN(BIT(PAGE_BITS)) VISIBLE PHYS_BSS; 28 pde_t *get_boot_pd(void) 30 return (pde_t *) _boot_pd; 39 static inline pde_t pde_pde_large_new_phys(uint32_t page_base_address, 44 pde_t pde; 104 pde_t *pd = PDE_PTR(pptr_of_cap(vspace_cap)); 131 pde_t *pd = PDE_PTR(pptr_of_cap(pd_cap)); 159 pde_t *pd = PDE_PTR(vspace); 190 pde_t *newPD = (pde_t *)new_vspac [all...] |
/seL4-camkes-master/kernel/src/arch/arm/32/model/ |
H A D | statedata.c | 32 pde_t armKSGlobalPD[BIT(PD_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageDirBits)); 49 pde_t armUSGlobalPD[BIT(PD_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageDirBits));;
|
/seL4-camkes-master/kernel/src/arch/arm/64/machine/ |
H A D | capdl.c | 16 static void cap_frame_print_attrs_pd(pde_t *pdSlot); 23 static void arm64_obj_pt_print_slots(pde_t *pdSlot); 27 static void arm64_cap_pt_print_slots(pde_t *pdSlot, vptr_t vptr); 62 static void cap_frame_print_attrs_pd(pde_t *pdSlot) 135 pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot.pudSlot)); 136 pde_t *pdSlot = pd + GET_PD_INDEX(vptr); 174 static void arm64_cap_pt_print_slots(pde_t *pdSlot, vptr_t vptr) 194 pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot)); 197 pde_t *pdSlot = pd + GET_PD_INDEX(i); 215 pde_t *pdSlo [all...] |
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/ |
H A D | structures.h | 88 #define PDE_PTR(r) ((pde_t *)(r)) 89 #define PDE_PTR_PTR(r) ((pde_t **)(r)) 92 #define PD_PTR(r) ((pde_t *)(r)) 264 static inline bool_t pde_pde_small_ptr_get_present(pde_t *pd) 269 static inline bool_t pde_pde_large_ptr_get_present(pde_t *pd) 274 static inline pde_t pde_invalid_new(void) 276 return (pde_t) {
|
/seL4-camkes-master/kernel/src/arch/arm/32/machine/ |
H A D | capdl.c | 20 static void cap_frame_print_attrs_pd(pde_t *pde); 72 static void cap_frame_print_attrs_pd(pde_t *pde) 154 pde_t *pd = (pde_t *)pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); 161 pde_t *pde = lookupPDSlot(pd, i); 201 pde_t *pde = lookupPDSlot(pd, i); 217 static void cap_frame_print_attrs_vptr(word_t vptr, pde_t *pd) 219 pde_t *pde = lookupPDSlot(pd, vptr); 448 pde_t *pd = (pde_t *)pptr_of_ca [all...] |
/seL4-camkes-master/kernel/src/arch/arm/64/model/ |
H A D | statedata.c | 89 pde_t armKSGlobalKernelPDs[BIT(PUD_INDEX_BITS)][BIT(PD_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageDirBits)); 93 pde_t *armKSGlobalLogPDE = &armKSGlobalKernelPDs[BIT(PUD_INDEX_BITS) - 1][BIT(PD_INDEX_BITS) - 2];
|
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | vspace.h | 26 pde_t *pdSlot; 57 pde_t *get_boot_pd(void); 82 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd); 126 pde_t CONST makeUserPDELargePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights); 127 pde_t CONST makeUserPDEPageTable(paddr_t paddr, vm_attributes_t vm_attr); 128 pde_t CONST makeUserPDEInvalid(void);
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 65 static bool_t PURE pdeCheckIfMapped(pde_t *pde); 201 pde_t pde; 424 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); 491 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); 494 pde_t *targetSlot = pd + (vptr >> pageBitsForSize(ARMSection)); 645 pde_t *pd; 725 pde_t *CONST lookupPDSlot(pde_t *pd, vptr_t vptr) 733 lookupPTSlot_ret_t lookupPTSlot(pde_t *pd, vptr_t vptr) 736 pde_t *pdSlo [all...] |
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/object/ |
H A D | structures.h | 81 #define PDE_PTR(r) ((pde_t *)(r)) 82 #define PDE_PTR_PTR(r) ((pde_t **)(r)) 85 #define PD_PTR(r) ((pde_t *)(r))
|
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
H A D | fastpath.h | 43 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, pde_t *cap_pd, pde_t stored_hw_asid)
|
/seL4-camkes-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);
|