Searched defs:get_instance_name (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c78 const char *get_instance_name(void) { function

Completed in 86 milliseconds