| /seL4-test-master/kernel/src/arch/arm/32/machine/ |
| H A D | capdl.c | 72 static void cap_frame_print_attrs_pd(pde_t *pde) argument
161 pde_t *pde = lookupPDSlot(pd, i); local
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
[all...] |
| H A D | vspace.c | 210 pde_t pde; local
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | decode.c | 151 uint32_t pde = guest_get_phys_word(vcpu->vm, cr3 + pdi * 4); local
[all...] |
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| 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
667 ept_pde_t pde; local
|
| H A D | vspace.c | 712 pde_t *pde; local
799 static exception_t performX86PageInvocationMapPDE(cap_t cap, cte_t *ctSlot, pde_t *pdSlot, pde_t pde, argument
887 pde_t pde; 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
1145 pde_t pde; local
[all...] |
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1661 pde_t pde = pde_pde_large_new( local
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 201 pde_t pde; local
317 pdeS1_t pde; local
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/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
1975 pde_t pde; local
1580 performLargePageInvocationMap(asid_t asid, cap_t cap, cte_t *ctSlot, pde_t pde, pde_t *pdSlot) argument
|