39 #include "runtime-callback.h"
40 #include "runtime-hclib.h"
45 inline static void async_run_start(
async_task_t * async_task) {
56 inline static void async_run_end(
async_task_t * async_task) {
58 async_check_out_finish(async_task);
60 async_drop_phasers(async_task);
68 void rtcb_check_out_finish(
finish_t * finish) {
69 check_out_finish(finish);
76 async_run_start(async_task);
78 async_t async_def = async_task->def;
79 ((
asyncFct_t)(async_def.fct_ptr))(async_def.arg);
80 async_run_end(async_task);
81 deallocate_async_task(async_task);