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

/seL4-refos-master/libs/libsel4vka/include/vka/
H A Ddebug-vka.h24 * tracee - A subordinate allocator that will do the actual work. The debug
29 int vka_init_debugvka(vka_t *vka, vka_t *tracee);
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/
H A Ddebug-vka.h24 * tracee - A subordinate allocator that will do the actual work. The debug
29 int vka_init_debugvka(vka_t *vka, vka_t *tracee);
/seL4-refos-master/libs/libsel4vka/src/
H A Ddebug-vka.c302 int vka_init_debugvka(vka_t *vka, vka_t *tracee) argument
310 s->underlying = tracee;
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/
H A Ddebug-vka.c302 int vka_init_debugvka(vka_t *vka, vka_t *tracee) argument
310 s->underlying = tracee;

Completed in 27 milliseconds