Searched refs:small (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/kernel/manual/parts/
H A Dintro.tex13 application domains. As a microkernel, it provides a small number of
15 spaces, threads, and inter-process communication (IPC). The small number
16 of services provided by seL4 directly translates to a small
23 confidentiality~\cite{Murray_MBGBSLGK_13}. The kernel's small size was
H A Dipc.tex99 \obj{Endpoint}s allow a small amount
H A Dcspace.tex385 it would be reasonably difficult to work with due to the small number
/seL4-test-master/kernel/manual/
H A Dmanual.tex48 \usepackage[small,bf,up,width=0.75\textwidth]{caption}
50 \renewcommand{\captionfont}{\small}
77 \newcommand{\obj}[1]{\textsf{\small #1}}
/seL4-test-master/projects/musllibc/src/math/
H A Dtgammal.c250 goto small;
264 small:
/seL4-test-master/projects/musllibc/src/stdio/
H A Dvfprintf.c347 long double small; local
350 if (x<i/2) small=0x0.8p0;
351 else if (x==i/2 && d+1==z) small=0x1.0p0;
352 else small=0x1.8p0;
353 if (pl && *prefix=='-') round*=-1, small*=-1;
355 /* Decide whether to round by probing round+small */
356 if (round+small != round) {

Completed in 50 milliseconds