| /seL4-l4v-10.1.1/seL4/src/plat/imx31/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/spike/machine/ |
| H A D | hardware.c | 22 #include <kernel/vspace.h>
24 #include <arch/kernel/vspace.h>
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/kernel/ |
| H A D | vspace.h | 37 void deleteASID(asid_t asid, vspace_root_t *vspace);
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/ |
| H A D | tlb_bitmap.h | 21 #include <mode/kernel/vspace.h>
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/api/ |
| H A D | faults.c | 16 #include <kernel/vspace.h>
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
| H A D | thread.c | 16 #include <arch/kernel/vspace.h>
|
| /seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
| H A D | drules.tex | 483 \vspace{12pt plus2pt minus1pt}
487 \vspace{12pt plus2pt minus1pt}
509 \vspace{12pt plus2pt minus1pt}
513 \vspace{12pt plus2pt minus1pt}
537 \vspace{12pt plus2pt minus1pt}
541 \vspace{12pt plus2pt minus1pt}
562 \vspace{12pt plus2pt minus1pt}
567 \vspace{12pt plus2pt minus1pt}
586 \vspace{12pt plus2pt minus1pt}
590 \vspace{1
[all...] |
| H A D | HolBdd.tex | 25 \vspace*{-3mm}
281 \vspace*{-2mm}
1008 \vspace*{-2mm}
1014 \vspace*{-2mm}
1028 \vspace*{-2mm}
1034 \vspace*{-2mm}
1120 \vspace*{-2mm}
1127 \vspace*{-2mm}
1205 \vspace*{-3mm}
1209 \vspace*{
[all...] |
| /seL4-l4v-10.1.1/isabelle/src/Doc/JEdit/document/ |
| H A D | root.tex | 40 \vspace*{2.5cm}
57 \vspace*{2.5cm}
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/JEdit/document/ |
| H A D | root.tex | 40 \vspace*{2.5cm}
57 \vspace*{2.5cm}
|
| /seL4-l4v-10.1.1/seL4/include/api/ |
| H A D | debug.h | 19 #include <arch/kernel/vspace.h>
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/kernel/ |
| H A D | vspace.h | 18 #include <mode/kernel/vspace.h>
|
| /seL4-l4v-10.1.1/l4v/camkes/adl-spec/document/ |
| H A D | root.tex | 150 \vspace{2ex}
175 \vspace{14ex}
178 %\vspace{2ex}
181 \vspace{4ex}
183 \vspace{4ex}
187 \vspace{2ex}
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-spec/document/ |
| H A D | root.tex | 158 \vspace{2ex}
182 \vspace{14ex}
185 %\vspace{2ex}
188 \vspace{4ex}
190 \vspace{4ex}
194 \vspace{2ex}
|
| /seL4-l4v-10.1.1/HOL4/Manual/Description/ |
| H A D | HolBdd.tex | 25 \vspace*{-3mm}
281 \vspace*{-2mm}
1008 \vspace*{-2mm}
1014 \vspace*{-2mm}
1028 \vspace*{-2mm}
1034 \vspace*{-2mm}
1120 \vspace*{-2mm}
1127 \vspace*{-2mm}
1205 \vspace*{-3mm}
1209 \vspace*{
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | Hol_pp.sml | 20 fun vspace l = if null l then nothing else nl2 function
51 vspace types >>
63 vspace consts >>
65 pr_thm ("Axioms", axioms) >> vspace axioms >>
66 pr_thm ("Definitions", definitions) >> vspace definitions >>
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/document/ |
| H A D | root.tex | 166 \vspace{14ex}
169 %\vspace{2ex}
172 \vspace{4ex}
174 \vspace{4ex}
178 \vspace{2ex}
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/kernel/ |
| H A D | vspace.h | 60 void deleteASID(asid_t asid, pte_t *vspace);
|
| /seL4-l4v-10.1.1/HOL4/src/quotient/Manual/ |
| H A D | llncs.cls | 147 % \vspace*{50\p@}%
167 % \vspace*{50\p@}%
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 28 #include <arch/kernel/vspace.h>
684 lookupPGDSlot(vspace_root_t *vspace, vptr_t vptr) argument
688 pgde_t *pgd = PGDE_PTR(vspace);
695 static lookupPUDSlot_ret_t lookupPUDSlot(vspace_root_t *vspace, vptr_t vptr) argument
700 pgdSlot = lookupPGDSlot(vspace, vptr);
722 lookupPDSlot(vspace_root_t *vspace, vptr_t vptr) argument
727 pudSlot = lookupPUDSlot(vspace, vptr);
753 lookupPTSlot(vspace_root_t *vspace, vptr_t vptr) argument
758 pdSlot = lookupPDSlot(vspace, vptr);
784 lookupFrame(vspace_root_t *vspace, vptr_ argument
1060 setVMRootForFlush(vspace_root_t *vspace, asid_t asid) argument
1411 deleteASID(asid_t asid, vspace_root_t *vspace) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/object/ |
| H A D | objecttype.c | 14 #include <kernel/vspace.h>
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 16 #include <arch/kernel/vspace.h>
645 void hwASIDInvalidate(asid_t asid, vspace_root_t *vspace) argument
|
| /seL4-l4v-10.1.1/seL4/manual/parts/ |
| H A D | api.tex | 27 \vspace*{6pt}
80 mapping. Possible values for this type are given in \autoref{ch:vspace}. }
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
| H A D | objecttype.c | 21 #include <kernel/vspace.h>
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/object/ |
| H A D | objecttype.c | 16 #include <kernel/vspace.h>
|