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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsighandler.h40 typedef void (*signal_handler_type)(SIG_HANDLER_ARGS(s, c)); typedef
42 extern bool setSignalHandler(int sig, signal_handler_type func);
H A Dsighandler.cpp413 bool setSignalHandler(int sig, signal_handler_type func)

Completed in 81 milliseconds