Searched refs:vspace (Results 1 - 25 of 86) sorted by relevance

1234

/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/64/armv/
H A Dcontext_switch.h17 #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 Dtlb.h23 * 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 Dvspace.h16 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dvspace.h15 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/kernel/
H A Dvspace.h16 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/smp/
H A Dipi.h36 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 Dhardware.c15 #include <kernel/vspace.h>
17 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/isabelle/src/Doc/Tutorial/document/
H A Droot.tex34 \\ \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 Droot.tex34 \\ \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 Dhardware.c14 #include <kernel/vspace.h>
16 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/plat/exynos5/machine/
H A Dhardware.c14 #include <kernel/vspace.h>
16 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dthread.c16 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/plat/omap3/machine/
H A Dhardware.c14 #include <kernel/vspace.h>
16 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c18 #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 Dvspace_32paging.c21 #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 Dthread.c14 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dvspace.c16 #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 Dsyscall.h18 #include <kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dthread.c15 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/arch/riscv/api/
H A Dfaults.c21 #include <kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dthread.c22 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dinterrupt.h18 #include <kernel/vspace.h>
19 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dinterrupt.h16 #include <kernel/vspace.h>
17 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/
H A Dhardware.c14 #include <kernel/vspace.h>
16 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dvspace.h82 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);

Completed in 174 milliseconds

1234