| /seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/kernel/ |
| H A D | vspace.h | 34 pde_t *pd; member in struct:findPDForASID_ret
|
| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | holpathdb.sml | 108 val pd = OS.Path.getParent d value
|
| /seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 29 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, vspace_root_t *pd, pde_t stored_hw_asid) argument
|
| /seL4-l4v-master/seL4/src/arch/arm/32/machine/ |
| H A D | capdl.c | 154 pde_t *pd = (pde_t *)pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); local
217 static void cap_frame_print_attrs_vptr(word_t vptr, pde_t *pd) argument
448 pde_t *pd = (pde_t *)pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); local
[all...] |
| /seL4-l4v-master/seL4/src/arch/arm/64/machine/ |
| H A D | capdl.c | 135 pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot.pudSlot)); local
194 pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot)); local
465 pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot)); local
[all...] |
| /seL4-l4v-master/seL4/src/arch/x86/64/machine/ |
| H A D | capdl.c | 118 pde_t *pd = paddr_to_pptr(pdpte_pdpte_pd_ptr_get_pd_base_address(pdptSlot)); local
396 pde_t *pd = paddr_to_pptr(pdpte_pdpte_pd_ptr_get_pd_base_address(pdptSlot)); local
|
| /seL4-l4v-master/seL4/src/arch/arm/object/ |
| H A D | iospace.c | 155 iopde_t *pd; local
257 iopde_t *pd; local
378 iopde_t *pd; local
415 iopde_t *pd; local
445 iopde_t *pd; local
[all...] |
| /seL4-l4v-master/seL4/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 104 pde_t *pd = PDE_PTR(pptr_of_cap(vspace_cap)); local
131 pde_t *pd = PDE_PTR(pptr_of_cap(pd_cap)); local
159 pde_t *pd = PDE_PTR(vspace); local
218 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) argument
[all...] |
| /seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/object/ |
| H A D | structures.h | 264 static inline bool_t pde_pde_small_ptr_get_present(pde_t *pd) argument
269 static inline bool_t pde_pde_large_ptr_get_present(pde_t *pd) argument
|
| /seL4-l4v-master/seL4/src/plat/tk1/machine/ |
| H A D | smmu.c | 156 iopde_t *pd = (iopde_t *) smmu_pds[asid - SMMU_FIRST_ASID]; local
|
| /seL4-l4v-master/HOL4/src/AI/sml_inspection/ |
| H A D | smlParallel.sml | 367 val pd = #parallel_dir es value
397 val pd = #parallel_dir es value
[all...] |
| /seL4-l4v-master/seL4/src/arch/x86/kernel/ |
| H A D | ept.c | 141 ept_pde_t *pd = paddr_to_pptr(ept_pdpte_ptr_get_pd_base_address(lu_ret.pdptSlot)); local
388 EPTPageDirectoryMapped_ret_t EPTPageDirectoryMapped(asid_t asid, vptr_t vaddr, ept_pde_t *pd) argument
424 void unmapEPTPageDirectory(asid_t asid, vptr_t vaddr, ept_pde_t *pd) argument
445 ept_pde_t *pd = (ept_pde_t *)cap_ept_pd_cap_get_capPDBasePtr(cap); local
449 pd); local
|
| /seL4-l4v-master/seL4/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 529 pde_t *pd; local
583 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); local
606 pde_t *pd; local
1040 pde_t *pd; local
1052 flushPD(vspace_root_t *vspace, word_t vptr, pde_t *pd, asid_t asid) argument
1074 unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) argument
1109 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(cap)); local
1113 pd local
[all...] |
| /seL4-l4v-master/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 424 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); local
491 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); local
511 static BOOT_CODE cap_t create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid) argument
645 pde_t *pd; local
725 lookupPDSlot(pde_t *pd, vptr_t vptr) argument
733 lookupPTSlot(pde_t *pd, vptr_t vptr) argument
770 resolveVAddr(pde_t *pd, vptr_t vaddr) argument
1045 pde_t *pd; local
1075 setVMRootForFlush(pde_t *pd, asid_t asid) argument
1117 pde_t *pd; local
1131 pde_t *pd; local
1145 pde_t *pd; local
1220 pde_t *pd, *pdSlot; local
1346 deleteASID(asid_t asid, pde_t *pd) argument
1449 pde_t *pd; local
1474 pde_t *pd; local
1511 flushPage(vm_page_size_t page_size, pde_t *pd, asid_t asid, word_t vptr) argument
1535 flushTable(pde_t *pd, asid_t asid, word_t vptr, pte_t *pt) argument
1611 createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument
1711 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument
1852 performPDFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
1978 performPageFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
2057 pde_t *pd; local
2164 pde_t *pd, *pdSlot; local
2287 pde_t *pd; local
2454 findPDForASID_ret_t pd; local
2857 readWordFromVSpace(pde_t *pd, word_t vaddr) argument
2906 pde_t *pd; local
[all...] |
| /seL4-l4v-master/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 302 pde_t *pd; local
366 pde_t *pd; local
404 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap)); local
703 pde_t *pd; local
764 pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot.pudSlot)); local
1044 pageDirectoryMapped(asid_t asid, vptr_t vaddr, pde_t *pd) argument
1299 unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) argument
1531 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(cap)); local
1533 cap_page_directory_cap_get_capPDMappedAddress(cap), pd); local
2467 readWordFromVSpace(vspace_root_t *pd, word_t vaddr) argument
[all...] |