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

1234

/seL4-l4v-10.1.1/HOL4/Manual/Interaction/
H A DHOL-interaction.tex16 \title{\bf\Large Guide to HOL4 interaction and basic proofs\vspace{-0.3em}}
19 \date{~\vspace{-2em}}
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Ddebug.c21 #include <arch/kernel/vspace.h>
/seL4-l4v-10.1.1/HOL4/src/quotient/Manual/
H A Dquotient.tex74 \def\fcaption#1{\refstepcounter{figure}\vbox{\vspace*{0mm}\hbox to\twidth{
76 Figure \thefigure: #1 \hfil}\vspace*{0mm}}}
77 \def\caption#1{\refstepcounter{figure}\vbox{\vspace*{0mm}\hbox to\twidth{
79 Table \thefigure: #1 \hfil}\vspace*{0mm}}}
80 %\def\fcaption#1{\refstepcounter{figure}\vbox{\vspace*{8mm}\hbox to\twidth{
82 % Figure \thefigure: #1 \hfil}\vspace*{5mm}}}
83 %\def\caption#1{\refstepcounter{figure}\vbox{\vspace*{8mm}\hbox to\twidth{
85 % Table \thefigure: #1 \hfil}\vspace*{5mm}}}
745 \vspace{3mm}
1218 \vspace{\topse
[all...]
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dvspace.tex11 \chapter{\label{ch:vspace}Address Spaces and Virtual Memory}
H A Dcspace.tex145 \autoref{ch:notifications}) and \obj{Page}s (see \autoref{ch:vspace}). The
H A Dobjects.tex258 \item[Virtual Address Space Objects] (see \autoref{ch:vspace})
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c24 #include <kernel/vspace.h>
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DsimpLib.sml734 fun vspace l = if null l then nothing else nl2 function
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c26 #include <arch/kernel/vspace.h>
3196 printf("Invalid vspace\n");
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/
H A Dcombin.tex1 \newcommand{\eos}{\hfill{}$\cdots\diamond\cdots$\hfill{}\vspace{5mm}}
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Dtheories.tex984 \vspace{1ex}
997 \vspace{1ex}
2890 \vspace{1ex}

Completed in 189 milliseconds

1234