Searched refs:vspace (Results 51 - 75 of 86) sorted by relevance

1234

/seL4-l4v-10.1.1/seL4/src/object/
H A Dendpoint.c13 #include <kernel/vspace.h>
H A Dobjecttype.c28 #include <kernel/vspace.h>
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/
H A Dpreface.tex82 \vspace{1cm}
/seL4-l4v-10.1.1/HOL4/Manual/Tutorial/
H A Dpreface.tex78 \vspace{1cm}
/seL4-l4v-10.1.1/seL4/manual/
H A Dmanual.tex148 \input{parts/vspace}
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dio.tex173 the corresponding method that maps \obj{Page}s into \obj{VSpaces} (see \autoref{ch:vspace}),
176 Unmapping is accomplished with the usual unmap (see \autoref{ch:vspace}) API
H A Dbootup.tex43 \texttt{seL4\_CapASIDControl} & global ASID controller (see \autoref{ch:vspace}) \\
44 \texttt{seL4\_CapInitThreadASIDPool} & initial thread's ASID pool (see \autoref{ch:vspace}) \\
H A Dthreads.tex19 \autoref{ch:cspace}) and VSpace (see \autoref{ch:vspace}) which
406 which serves as the vspace root when executing in guest mode, with the vspace root set
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/object/
H A Dobjecttype.c16 #include <kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/
H A Dboot.c19 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dboot.c26 #include <arch/kernel/vspace.h>
H A Dvspace.c35 #include <arch/kernel/vspace.h>
488 void deleteASID(asid_t asid, pte_t *vspace) argument
493 if (poolPtr != NULL && poolPtr->array[asid & MASK(asidLowBits)] == vspace) {
1099 userError("RISCVASIDPool: Invalid vspace root.");
1226 printf("Invalid vspace\n");
/seL4-l4v-10.1.1/seL4/src/api/
H A Dsyscall.c22 #include <kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/object/
H A Dobjecttype.c14 #include <kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot.c21 #include <arch/kernel/vspace.h>
H A Dboot_sys.c20 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dobjecttype.c14 #include <kernel/vspace.h>
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dthread.c18 #include <kernel/vspace.h>
H A Dboot.c19 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/HOL4/src/res_quan/Manual/
H A Dsummacs.tex216 \def\doholdef#1{\par\vspace*{5pt}\index{#1@\string\idxmlname{#1}|ul}%
H A Dsummary.tex62 \vspace{4mm plus2mm minus1mm}
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/
H A Droot.tex134 \vspace*{2.5cm}
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/
H A Droot.tex134 \vspace*{2.5cm}
/seL4-l4v-10.1.1/HOL4/examples/decidable_separationLogic/doc/
H A Dpresentation-content.tex313 \vspace{-1cm}
393 \vspace{-0.5cm}
/seL4-l4v-10.1.1/HOL4/Manual/Guide/
H A Dguide.tex381 \vspace*{4mm plus2mm minus2mm}
390 \vspace*{4mm plus2mm minus2mm}
397 \vspace*{4mm plus2mm minus2mm}
416 \vspace*{4mm plus2mm minus2mm}
628 }\vspace{4mm plus2mm minus1mm}
650 }\vspace{4mm plus2mm minus1mm}

Completed in 303 milliseconds

1234