Searched refs:camkes_simple_core_count (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ | ||
H A D | component.simple.c | 480 static int camkes_simple_core_count(void *data) { function 523 simple->core_count = &camkes_simple_core_count; |
Completed in 29 milliseconds