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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.template.h226 int /*? s.name ?*/_post(void) WARN_UNUSED_RESULT;
231 int /*? b.name ?*/_post(void) WARN_UNUSED_RESULT;
H A Dcomponent.common.c217 int /*? s.name ?*/_post(void) { function
239 int /*? b.name ?*/_post(void) { function

Completed in 85 milliseconds