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

/seL4-camkes-master/projects/sel4runtime/include/
H A Dsel4runtime.h148 typedef void sel4runtime_exit_cb(int code); typedef
155 sel4runtime_exit_cb *sel4runtime_set_exit(sel4runtime_exit_cb *cb);
/seL4-camkes-master/projects/sel4runtime/src/
H A Denv.c88 sel4runtime_exit_cb *exit_cb;
198 sel4runtime_exit_cb *sel4runtime_set_exit(sel4runtime_exit_cb *cb)
200 sel4runtime_exit_cb *old = env.exit_cb;

Completed in 29 milliseconds