| /seL4-test-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) argument
75 cap_frame_print_attrs_impl(pde_pde_section_ptr_get_HAP(pde),
76 pde_pde_section_ptr_get_XN(pde),
77 pde_pde_section_ptr_get_MemAttr(pde));
79 cap_frame_print_attrs_impl(pde_pde_section_ptr_get_AP(pde),
80 pde_pde_section_ptr_get_XN(pde),
81 pde_pde_section_ptr_get_TEX(pde));
161 pde_t *pde = lookupPDSlot(pd, i); local
162 switch (pde_ptr_get_pdeType(pde)) {
201 pde_t *pde = lookupPDSlot(pd, i); local
219 pde_t *pde = lookupPDSlot(pd, vptr); local
455 pde_t *pde = lookupPDSlot(pd, i); local
[all...] |
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 44 pde_t pde; local
45 pde.words[0] = 0;
47 pde.words[0] |= (page_base_address & 0xffc00000) >> 0;
48 pde.words[0] |= (pat & 0x1) << 12;
49 pde.words[0] |= (avl & 0x7) << 9;
50 pde.words[0] |= (global & 0x1) << 8;
51 pde.words[0] |= (pde_pde_large & 0x1) << 7;
52 pde.words[0] |= (dirty & 0x1) << 6;
53 pde.words[0] |= (accessed & 0x1) << 5;
54 pde
[all...] |
| H A D | vspace.c | 210 pde_t pde; local
224 pde = pde_pde_large_new(
237 ia32KSGlobalPD[idx] = pde;
247 pde = pde_pde_pt_new(
258 ia32KSGlobalPD[idx] = pde;
273 pde = pde_pde_pt_new(
283 ia32KSGlobalPD[idx] = pde;
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | decode.c | 27 #define IA32_PDE_SIZE(pde) (pde & BIT(7))
28 #define IA32_PDE_PRESENT(pde) (pde & BIT(0))
30 #define IA32_PSE_ADDR(pde) (pde & 0xFFC00000)
151 uint32_t pde = guest_get_phys_word(vcpu->vm, cr3 + pdi * 4); local
153 assert(IA32_PDE_PRESENT(pde)); /* WTF? */
155 if (IA32_PDE_SIZE(pde)) {
157 instr_phys = (uintptr_t)IA32_PSE_ADDR(pde)
[all...] |
| /seL4-test-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; local
212 pde = pde_pde_section_new(
227 armKSGlobalPD[idx2] = pde;
234 pde = pde_pde_section_new(
248 armKSGlobalPD[idx] = pde;
317 pdeS1_t pde; local
322 pde = pdeS1_pdeS1_invalid_new();
323 armHSGlobalPGD[idx] = pde;
325 pde
772 pde_t *pde = lookupPDSlot(pd, vaddr); local
1095 pde_t pde; local
1605 pde_t pde; member in struct:create_mappings_pde_return
1801 pdeCheckIfMapped(pde_t *pde) argument
1871 performPageTableInvocationMap(cap_t cap, cte_t *ctSlot, pde_t pde, pde_t *pdSlot) argument
1930 performPageInvocationMapPDE(asid_t asid, cap_t cap, cte_t *ctSlot, pde_t pde, pde_range_t pde_entries) argument
2165 pde_t pde; local
[all...] |
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 712 pde_t *pde; local
738 pde = pd_ret.pdSlot;
739 if (!(pde_ptr_get_page_size(pde) == pde_pde_large
740 && pde_pde_large_ptr_get_present(pde)
741 && (pde_pde_large_ptr_get_page_base_address(pde)
745 *pde = makeUserPDEInvalid();
799 static exception_t performX86PageInvocationMapPDE(cap_t cap, cte_t *ctSlot, pde_t *pdSlot, pde_t pde, argument
803 *pdSlot = pde;
887 pde_t pde; member in struct:create_mapping_pde_return
918 ret.pde
1122 performX86PageTableInvocationMap(cap_t cap, cte_t *ctSlot, pde_t pde, pde_t *pdSlot, vspace_root_t *root) argument
1145 pde_t pde; local
[all...] |
| H A D | ept.c | 646 static exception_t performEPTPTInvocationMap(cap_t cap, cte_t *cte, ept_pde_t pde, ept_pde_t *pdSlot, ept_pml4e_t *pml4) argument
649 *pdSlot = pde;
667 ept_pde_t pde; local
752 pde = ept_pde_ept_pde_pt_new(
765 return performEPTPTInvocationMap(cap, cte, pde, lu_ret.pdSlot, pml4);
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1541 static exception_t performPageTableInvocationMap(cap_t cap, cte_t *ctSlot, pde_t pde, pde_t *pdSlot) argument
1544 *pdSlot = pde;
1581 pde_t pde, pde_t *pdSlot)
1586 *pdSlot = pde;
1975 pde_t pde; local
2052 pde = pde_pde_small_new(pptr_to_paddr(PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap))));
2059 return performPageTableInvocationMap(cap, cte, pde, pdSlot.pdSlot);
1580 performLargePageInvocationMap(asid_t asid, cap_t cap, cte_t *ctSlot, pde_t pde, pde_t *pdSlot) argument
|
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1661 pde_t pde = pde_pde_large_new( local
1677 x64KSKernelPD[1] = pde;
1679 x64KSKernelPDs[BIT(PDPT_INDEX_BITS) - 1][1] = pde;
|