Searched refs:intermediate (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/alignment/common/
H A Dcommon.h23 foo_t intermediate = *a; local
24 intermediate.arr[1] += 0.5;
25 memcpy(b, &intermediate, sizeof(foo_t));
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Drumprunlibs.mk29 INTERMEDIATE_BASEFILE := $(SEL4_RROBJ)/rumprun-intermediate.o
/seL4-camkes-master/kernel/manual/parts/
H A Dvspace.tex13 each architecture defines its own objects for the top-level VSpace and further intermediate paging structures.
28 Each architecture has a top-level paging structure (level 0) and a number of intermediate levels.
153 the size of the \obj{Page} and must be mapped to a suitable VSpace, and every intermediate paging
/seL4-camkes-master/projects/camkes/apps/cakeml_regex/components/CakeMLFilter/
H A DfilterProgScript.sml26 (* Reuse of some code from regexpLib, so that some intermediate lemmas are *)
/seL4-camkes-master/tools/cogent/cogent/doc/
H A Ddoc.tex801 \TODO{How C code is generated? how to use the compiler and its intermediate outputs? What are the must-knows in the compiler?}

Completed in 54 milliseconds