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

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dinit.h21 int post_init_interface_sync();
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.environment.c38 error = post_init_interface_sync();
H A Dcomponent.common.c658 pre_init_interface_sync, post_init_interface_sync and post_main
721 int post_init_interface_sync() { function
/seL4-camkes-master/projects/camkes-tool/libcamkescakeml/src/
H A Dcamkes_init.c24 int result = post_init_interface_sync();

Completed in 47 milliseconds