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

/seL4-refos-master/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:__anon644
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-refos-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:__anon810
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-refos-master/projects/refos/design/
H A Dintro.tex24 \texttt{Methods} are conceptual "function calls" although they are usually implemented via communication with another process in which case they are actually remote procedure calls. Regardless of the underlying implementation, methods here refer to the actual procedures of an interface which get invoked.
77 \refOS assumes that the underlying kernel exposes virtual memory management. This is a standard feature of microkernels. \refOS also assumes that the kernel is able to deliver page fault exceptions via interprocess communication to a memory manager thread and is able to resolve the fault at a later stage by replying to the interprocess communication.
/seL4-refos-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 40 milliseconds