20 extern sigjmp_buf restart;
22 void inactive_interrupt_handler(
int sig);
23 void active_interrupt_handler(
int sig);
24 void maybe_handle_active_interrupt(
void);
25 int active_interrupt_pending(
DBPROCESS * dbproc);
26 int active_interrupt_servhandler(
DBPROCESS * dbproc);