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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c505 static int post_main(int thread_id);
509 post_main(thread_id);
658 pre_init_interface_sync, post_init_interface_sync and post_main
772 static int post_main(int thread_id) { function
863 post_main(thread_id);

Completed in 34 milliseconds