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