/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 158 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 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) 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 D | capdl.c | 19 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 D | ept.c | 23 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 D | vspace.c | 619 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 D | vspace.c | 91 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 D | ept.h | 30 ept_pde_t *pdSlot; member in struct:EPTPageTableMapped_ret
|
H A D | vspace.h | 26 pde_t *pdSlot; member in struct:lookupPDSlot_ret
|
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1028 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 D | vspace.c | 736 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...] |