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

/seL4-refos-master/libs/libsel4vka/include/vka/
H A Ddebug-vka.h29 int vka_init_debugvka(vka_t *vka, vka_t *tracee);
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/
H A Ddebug-vka.h29 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) function
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/
H A Ddebug-vka.c302 int vka_init_debugvka(vka_t *vka, vka_t *tracee) function

Completed in 34 milliseconds