/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/64/armv/ |
H A D | context_switch.h | 17 #include <arch/kernel/vspace.h> 23 static inline void armv_contextSwitch(vspace_root_t *vspace, asid_t asid) argument 28 setCurrentUserVSpaceRoot(ttbr_new(asid, pptr_to_paddr(vspace)));
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/kernel/ |
H A D | tlb.h | 23 * an ASID and, in the case of SMP, potentially clear a vspace of having 26 static inline void invalidateLocalASID(vspace_root_t *vspace, asid_t asid) argument 30 if (pptr_to_paddr(vspace) != getCurrentUserVSpaceRoot()) { 31 tlb_bitmap_unset(vspace, getCurrentCPUIndex()); 42 static inline void invalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) argument 44 invalidateLocalASID(vspace, asid); 45 SMP_COND_STATEMENT(doRemoteInvalidateASID(vspace, asid, mask));
|
H A D | vspace.h | 16 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/include/kernel/ |
H A D | vspace.h | 15 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/kernel/ |
H A D | vspace.h | 16 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/smp/ |
H A D | ipi.h | 36 static inline void doRemoteInvalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) argument 38 doRemoteMaskOp2Arg(IpiRemoteCall_InvalidateASID, (word_t)vspace, asid, mask);
|
/seL4-l4v-10.1.1/seL4/src/plat/apq8064/machine/ |
H A D | hardware.c | 15 #include <kernel/vspace.h> 17 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/isabelle/src/Doc/Tutorial/document/ |
H A D | root.tex | 34 \\ \vspace{0.5cm} A Proof Assistant for Higher-Order Logic 47 %\vspace*{\fill} 53 %\vspace*{\fill} 54 %\vspace*{\fill} 80 \vspace*{\fill} 87 \vspace*{\fill} 88 \vspace*{\fill}
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Tutorial/document/ |
H A D | root.tex | 34 \\ \vspace{0.5cm} A Proof Assistant for Higher-Order Logic 47 %\vspace*{\fill} 53 %\vspace*{\fill} 54 %\vspace*{\fill} 80 \vspace*{\fill} 87 \vspace*{\fill} 88 \vspace*{\fill}
|
/seL4-l4v-10.1.1/seL4/src/plat/allwinnerA20/machine/ |
H A D | hardware.c | 14 #include <kernel/vspace.h> 16 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/src/plat/exynos5/machine/ |
H A D | hardware.c | 14 #include <kernel/vspace.h> 16 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
H A D | thread.c | 16 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/src/plat/omap3/machine/ |
H A D | hardware.c | 14 #include <kernel/vspace.h> 16 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
H A D | vspace.c | 18 #include <arch/kernel/vspace.h> 780 pml4e_t *vspace = (pml4e_t *)new_vspace; local 787 vspace[i] = X86_GLOBAL_VSPACE_ROOT[i]; 1100 flushPD(vspace_root_t *vspace, word_t vptr, pde_t *pd, asid_t asid) argument 1106 invalidateASID(vspace, asid, SMP_TERNARY(tlb_bitmap_get(vspace), 0)); 1111 flushPDPT(vspace_root_t *vspace, word_t vptr, pdpte_t *pdpt, asid_t asid) argument 1114 invalidateASID(vspace, asid, SMP_TERNARY(tlb_bitmap_get(vspace), 0)); 1119 hwASIDInvalidate(asid_t asid, vspace_root_t *vspace) argument 1176 performX64PageDirectoryInvocationMap(cap_t cap, cte_t *ctSlot, pdpte_t pdpte, pdpte_t *pdptSlot, vspace_root_t *vspace) argument 1199 vspace_root_t *vspace; local 1343 performX64PDPTInvocationMap(cap_t cap, cte_t *ctSlot, pml4e_t pml4e, pml4e_t *pml4Slot, vspace_root_t *vspace) argument 1366 vspace_root_t *vspace; local 1514 updatePDPTE(asid_t asid, pdpte_t pdpte, pdpte_t *pdptSlot, vspace_root_t *vspace) argument 1523 performX64ModeRemap(asid_t asid, pdpte_t pdpte, pdpte_t *pdptSlot, vspace_root_t *vspace) argument 1530 performX64ModeMap(cap_t cap, cte_t *ctSlot, pdpte_t pdpte, pdpte_t *pdptSlot, vspace_root_t *vspace) argument 1544 createSafeMappingEntries_PDPTE(paddr_t base, word_t vaddr, vm_rights_t vmRights, vm_attributes_t attr, vspace_root_t *vspace) argument 1612 readWordFromVSpace(vspace_root_t *vspace, word_t vaddr) argument [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 21 #include <arch/kernel/vspace.h> 165 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr) argument 168 pde_t *pd = PDE_PTR(vspace); 266 vspace_root_t *vspace; local 287 vspace = (vspace_root_t*)pptr_of_cap(cap); 290 pdSlot = lookupPDSlot(vspace, vaddr); 291 ptSlot = lookupPTSlot(vspace, vaddr); 326 readWordFromVSpace(vspace_root_t *vspace, word_t vaddr) argument 336 pdSlot = lookupPDSlot(vspace, vaddr); 344 ptSlot = lookupPTSlot(vspace, vadd [all...] |
H A D | thread.c | 14 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
H A D | vspace.c | 16 #include <arch/kernel/vspace.h> 20 #include <mode/kernel/vspace.h> 48 vspace_root_t *vspace = (vspace_root_t*)asid_map_asid_map_vspace_get_vspace_root(asid_map); local 49 hwASIDInvalidate(asid_base + offset, vspace); 82 void deleteASID(asid_t asid, vspace_root_t *vspace) argument 90 (vspace_root_t*)asid_map_asid_map_vspace_get_vspace_root(asid_map) == vspace) { 91 hwASIDInvalidate(asid, vspace); 620 lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr) argument 625 pdSlot = lookupPDSlot(vspace, vptr); 689 void flushTable(vspace_root_t *vspace, word_ argument 798 performX86PageInvocationMapPTE(cap_t cap, cte_t *ctSlot, pte_t *ptSlot, pte_t pte, vspace_root_t *vspace) argument 808 performX86PageInvocationMapPDE(cap_t cap, cte_t *ctSlot, pde_t *pdSlot, pde_t pde, vspace_root_t *vspace) argument 818 performX86PageInvocationRemapPTE(pte_t *ptSlot, pte_t pte, asid_t asid, vspace_root_t *vspace) argument 827 performX86PageInvocationRemapPDE(pde_t *pdSlot, pde_t pde, asid_t asid, vspace_root_t *vspace) argument 891 createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_rights_t vmRights, vm_attributes_t attr, vspace_root_t *vspace) argument 920 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_rights_t vmRights, vm_attributes_t attr, vspace_root_t *vspace) argument 967 vspace_root_t* vspace; local 1092 vspace_root_t* vspace; local 1280 vspace_root_t* vspace; local [all...] |
/seL4-l4v-10.1.1/seL4/include/api/ |
H A D | syscall.h | 18 #include <kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
H A D | thread.c | 15 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/api/ |
H A D | faults.c | 21 #include <kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
H A D | thread.c | 22 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/ |
H A D | interrupt.h | 18 #include <kernel/vspace.h> 19 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/ |
H A D | interrupt.h | 16 #include <kernel/vspace.h> 17 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/ |
H A D | hardware.c | 14 #include <kernel/vspace.h> 16 #include <arch/kernel/vspace.h>
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/ |
H A D | vspace.h | 82 lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr); 83 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr); 92 void hwASIDInvalidate(asid_t asid, vspace_root_t *vspace); 94 void deleteASID(asid_t asid, vspace_root_t *vspace); 106 void flushTable(vspace_root_t *vspace, word_t vptr, pte_t *pt, asid_t asid);
|