Searched refs:camkes_error_handler_t (Results 1 - 5 of 5) sorted by path

/seL4-camkes-master/projects/camkes-tool/camkes/templates/helpers/
H A Derror.c26 static camkes_error_handler_t /*? error_handler ?*/_fn UNUSED;
28 camkes_error_handler_t /*? interface ?*/_register_error_handler(
29 camkes_error_handler_t handler) {
30 camkes_error_handler_t old = /*? error_handler ?*/_fn;
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Derror.h200 typedef camkes_error_action_t (*camkes_error_handler_t)(camkes_error_t *); typedef
208 camkes_error_handler_t camkes_register_error_handler(
209 camkes_error_handler_t handler);
229 * handler - A camkes_error_handler_t to invoke.
H A Dio.h58 camkes_error_handler_t error_handler;
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Derror.c58 static camkes_error_handler_t err = default_error_handler;
65 camkes_error_handler_t camkes_register_error_handler(camkes_error_handler_t handler)
67 camkes_error_handler_t old = err;
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.template.h253 camkes_error_handler_t /*? i.name ?*/_register_error_handler(
254 camkes_error_handler_t handler);

Completed in 66 milliseconds