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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.simple.c363 static seL4_CPtr simple_camkes_get_iospace_nth_cap(void *data, int n) { function
527 simple->arch_simple.iospace_get_nth_cap = simple_camkes_get_iospace_nth_cap;

Completed in 24 milliseconds