Searched refs:pdSlot (Results 1 - 10 of 10) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c158 lookupPDSlot_ret_t pdSlot; local
163 pdSlot.status = EXCEPTION_NONE;
164 pdSlot.pdSlot = pd + pdIndex;
165 return pdSlot;
223 static exception_t performIA32PageDirectoryGetStatusBits(lookupPTSlot_ret_t ptSlot, lookupPDSlot_ret_t pdSlot, argument
226 if (pdSlot.status == EXCEPTION_NONE &&
227 ((pde_ptr_get_page_size(pdSlot.pdSlot) == pde_pde_large) &&
228 pde_pde_large_ptr_get_present(pdSlot
258 lookupPDSlot_ret_t pdSlot; local
319 lookupPDSlot_ret_t pdSlot; local
[all...]
/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) argument
64 cap_frame_print_attrs_impl(pde_pde_large_ptr_get_SH(pdSlot),
65 pde_pde_large_ptr_get_AP(pdSlot),
66 pde_pde_large_ptr_get_UXN(pdSlot));
136 pde_t *pdSlot = pd + GET_PD_INDEX(vptr); local
138 switch (pde_ptr_get_pde_type(pdSlot)) {
140 printf("frame_%p_%04lu ", pdSlot, GET_PD_INDE
174 arm64_cap_pt_print_slots(pde_t *pdSlot, vptr_t vptr) argument
197 pde_t *pdSlot = pd + GET_PD_INDEX(i); local
215 pde_t *pdSlot = pd + GET_PD_INDEX(i); local
445 arm64_obj_pt_print_slots(pde_t *pdSlot) argument
468 pde_t *pdSlot = pd + GET_PD_INDEX(i); local
[all...]
/seL4-camkes-master/kernel/src/arch/x86/64/machine/
H A Dcapdl.c19 static void cap_frame_print_attrs_pd(pde_t *pdSlot);
36 static void cap_frame_print_attrs_pd(pde_t *pdSlot) argument
38 cap_frame_print_attrs_impl(pde_pde_large_ptr_get_super_user(pdSlot),
39 pde_pde_large_ptr_get_read_write(pdSlot),
40 pde_pde_large_ptr_get_cache_disabled(pdSlot),
41 pde_pde_large_ptr_get_xd(pdSlot));
96 static void x86_64_obj_pt_print_slots(pde_t *pdSlot) argument
100 pte_t *pt = paddr_to_pptr(pde_pde_pt_ptr_get_pt_base_address(pdSlot));
121 pde_t *pdSlot = pd + GET_PD_INDEX(i); local
123 if ((pde_ptr_get_page_size(pdSlot)
188 lookupPDSlot_ret_t pdSlot; local
378 x86_64_cap_pt_print_slots(pde_t *pdSlot, vptr_t vptr) argument
400 pde_t *pdSlot = pd + GET_PD_INDEX(i); local
413 pde_t *pdSlot = pd + GET_PD_INDEX(i); local
[all...]
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dept.c23 ept_pde_t *pdSlot; member in struct:lookupEPTPDSlot_ret
128 ret.pdSlot = NULL;
136 ret.pdSlot = NULL;
143 ret.pdSlot = pd + index;
163 if ((ept_pde_ptr_get_page_size(lu_ret.pdSlot) != ept_pde_ept_pde_pt) ||
164 !ept_pde_ept_pde_pt_ptr_get_read(lu_ret.pdSlot)) {
172 ept_pte_t *pt = paddr_to_pptr(ept_pde_ept_pde_pt_ptr_get_pt_base_address(lu_ret.pdSlot));
586 ret.pdSlot = NULL;
594 ret.pdSlot = NULL;
599 if (ept_pde_ptr_get_page_size(find_ret.pdSlot)
646 performEPTPTInvocationMap(cap_t cap, cte_t *cte, ept_pde_t pde, ept_pde_t *pdSlot, ept_pml4e_t *pml4) argument
777 performEPTPageMapPDE(cap_t cap, cte_t *cte, ept_pde_t *pdSlot, ept_pde_t pde1, ept_pde_t pde2, ept_pml4e_t *pml4) argument
[all...]
H A Dvspace.c619 lookupPDSlot_ret_t pdSlot; local
621 pdSlot = lookupPDSlot(vspace, vptr);
622 if (pdSlot.status != EXCEPTION_NONE) {
624 ret.status = pdSlot.status;
627 if ((pde_ptr_get_page_size(pdSlot.pdSlot) != pde_pde_pt) ||
628 !pde_pde_pt_ptr_get_present(pdSlot.pdSlot)) {
638 pt = paddr_to_pptr(pde_pde_pt_ptr_get_pt_base_address(pdSlot.pdSlot));
799 performX86PageInvocationMapPDE(cap_t cap, cte_t *ctSlot, pde_t *pdSlot, pde_t pde, vspace_root_t *vspace) argument
888 pde_t *pdSlot; member in struct:create_mapping_pde_return
1122 performX86PageTableInvocationMap(cap_t cap, cte_t *ctSlot, pde_t pde, pde_t *pdSlot, vspace_root_t *root) argument
1142 lookupPDSlot_ret_t pdSlot; local
[all...]
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c91 pde_t *pdSlot; member in struct:lookupPDSlot_ret
692 ret.pdSlot = NULL;
699 ret.pdSlot = NULL;
704 pde_t *pdSlot; local
707 pdSlot = pd + pdIndex;
710 ret.pdSlot = pdSlot;
718 lookupPDSlot_ret_t pdSlot; local
720 pdSlot = lookupPDSlot(vspace, vptr);
721 if (pdSlot
765 pde_t *pdSlot = pd + GET_PD_INDEX(vptr); local
1314 pde_t *pdSlot; local
1541 performPageTableInvocationMap(cap_t cap, cte_t *ctSlot, pde_t pde, pde_t *pdSlot) argument
1580 performLargePageInvocationMap(asid_t asid, cap_t cap, cte_t *ctSlot, pde_t pde, pde_t *pdSlot) argument
1978 lookupPDSlot_ret_t pdSlot; local
[all...]
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dept.h30 ept_pde_t *pdSlot; member in struct:EPTPageTableMapped_ret
H A Dvspace.h26 pde_t *pdSlot; member in struct:lookupPDSlot_ret
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1028 ret.pdSlot = NULL;
1036 ret.pdSlot = NULL;
1041 pde_t *pdSlot; local
1044 pdSlot = pd + pdIndex;
1047 ret.pdSlot = pdSlot;
1544 lookupPDSlot_ret_t pdSlot; local
1559 pdSlot = lookupPDSlot(vspace, vaddr);
1560 if (pdSlot.status == EXCEPTION_NONE &&
1561 ((pde_ptr_get_page_size(pdSlot
[all...]
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c736 pde_t *pdSlot; local
738 pdSlot = lookupPDSlot(pd, vptr);
740 if (unlikely(pde_ptr_get_pdeType(pdSlot) != pde_pde_coarse)) {
750 pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pdSlot));
1220 pde_t *pd, *pdSlot; local
1227 pdSlot = pd + pdIndex;
1229 *pdSlot = pde_pde_invalid_new(0, 0);
1230 cleanByVA_PoU((word_t)pdSlot, addrFromPPtr(pdSlot));
1872 pde_t pde, pde_t *pdSlot)
1871 performPageTableInvocationMap(cap_t cap, cte_t *ctSlot, pde_t pde, pde_t *pdSlot) argument
2164 pde_t *pd, *pdSlot; local
2861 pde_t *pdSlot; local
[all...]

Completed in 71 milliseconds