Searched refs:pde_t (Results 1 - 25 of 38) sorted by relevance

12

/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/kernel/
H A Dvspace.h34 static inline CONST pde_t x86_make_empty_root_mapping(void)
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h34 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 Dcontext_switch.h20 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 Dstatedata.c13 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 Dstatedata.h17 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 Dcontext_switch.h22 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 Dcontext_switch.h22 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 Dcontext_switch.h22 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 Dstatedata.h15 extern pde_t ia32KSGlobalPD[BIT(PD_INDEX_BITS)];
/seL4-camkes-master/kernel/src/arch/x86/32/model/
H A Dstatedata.c14 pde_t ia32KSGlobalPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/model/
H A Dstatedata.h28 extern pde_t armKSGlobalKernelPDs[BIT(PUD_INDEX_BITS)][BIT(PD_INDEX_BITS)] VISIBLE;
38 pde_t *armKSGlobalLogPDE;
/seL4-camkes-master/kernel/include/
H A Dcompound_types.h15 pde_t *base;
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h23 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 Dstructures.h28 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 Dvspace_32paging.c25 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 Dstatedata.c32 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 Dcapdl.c16 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 Dstructures.h88 #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 Dcapdl.c20 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 Dstatedata.c89 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 Dvspace.h26 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 Dvspace.c65 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 Dstructures.h81 #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 Dfastpath.h43 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 Dvspace.h38 pde_t *pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt);

Completed in 269 milliseconds

12