Searched refs:simple_make_vka (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/libsel4simple/include/simple/
H A Dsimple_helpers.h26 void simple_make_vka(simple_t *simple, vka_t *vka);
/seL4-refos-master/projects/seL4_libs/libsel4simple/include/simple/
H A Dsimple_helpers.h26 void simple_make_vka(simple_t *simple, vka_t *vka);
/seL4-refos-master/libs/libsel4simple/src/
H A Dsimple.c72 void simple_make_vka(simple_t *simple, vka_t *vka) function
/seL4-refos-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c72 void simple_make_vka(simple_t *simple, vka_t *vka) function
/seL4-refos-master/libs/libsel4platsupport/src/
H A Dcommon.c218 simple_make_vka(simple, vka);
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dcommon.c218 simple_make_vka(simple, vka);

Completed in 30 milliseconds