Searched defs:sel4runtime_pre_exit_cb (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/sel4runtime/include/
H A Dsel4runtime.h162 typedef int sel4runtime_pre_exit_cb(int code); typedef

Completed in 23 milliseconds