Searched refs:underlying (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4vka/src/
H A Ddebug-vka.c37 /* The underlying allocator that we call to effect allocations. This is
41 vka_t *underlying; member in struct:__anon453
119 vka_t *v = s->underlying;
155 vka_t *v = s->underlying;
159 /* No instrumentation required for this one. Just invoke the underlying
167 vka_t *v = s->underlying;
220 vka_t *v = s->underlying;
235 vka_t *v = s->underlying;
256 vka_t *v = s->underlying;
294 vka_t *v = s->underlying;
[all...]
/seL4-test-master/kernel/manual/parts/
H A Dthreads.tex519 and return \texttt{true} in \texttt{bp\_was\_consumed}. If the underlying platform does not need a hardware
635 the underlying hardware primitives and operations. As a result an in depth familiarity with
636 the underlying architecture specific harwdare mechanisms is required to use these objects, and

Completed in 31 milliseconds